Terminological reasoning is inherently intractable (research note)
Artificial Intelligence
Exact and approximate reasoning about temporal relations
Computational Intelligence
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
Attributive concept descriptions with complements
Artificial Intelligence
A propositional modal logic of time intervals
Journal of the ACM (JACM)
Temporal reasoning and planning
Reasoning about plans
A formal theory of plan recognition and its implementation
Reasoning about plans
The complexity of existential quantification in concept languages
Artificial Intelligence
Feature-constraint logics for unification grammars
Journal of Logic Programming
Reasoning with individuals in concept languages
Data & Knowledge Engineering
On point-based temporal disjointness
Artificial Intelligence
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Non-monotonic temporal reasoning
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
Artificial Intelligence
Time-dependent concepts: representation and reasoning using temporal description logics
Data & Knowledge Engineering
Combining Terminological Logics with Tense Logic
EPIA '93 Proceedings of the 6th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Inferences for Temporal Object Descriptions in a Terminological Representation System: Design and Implementation
Temporal reasoning in the situation calculus
Temporal reasoning in the situation calculus
Closed terminologies and temporal reasoning in description logic for concept and plan recognition
Closed terminologies and temporal reasoning in description logic for concept and plan recognition
The design and experimental analysis of algorithms for temporal reasoning
Journal of Artificial Intelligence Research
Terminological logics with modal operators
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Artificial Intelligence Review
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
Towards an Ontology for Substances and Related Actions
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
Coordination Issues in Multi-agent Event Data Processing
ESAW '00 Proceedings of the First International Workshop on Engineering Societies in the Agent World: Revised Papers
Temporal ER Modeling with Description Logics
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Towards a Conceptual Representation of Actions
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
A Term-Based Approach to Project Scheduling
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
Complexity of Terminological Reasoning Revisited
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
The description logic handbook
FONTE: factorizing ONTology engineering complexity
Proceedings of the 2nd international conference on Knowledge capture
Representing a robotic domain using temporal description logics
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Combining interval-based temporal reasoning with general TBoxes
Artificial Intelligence
Elaboration tolerance through object-orientation
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
ε-connections of abstract description systems
Artificial Intelligence
Planning with Action Abstraction and Plan Decomposition Hierarchies
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
The state of play in machine/environment interactions
Artificial Intelligence Review
Journal of Intelligent and Robotic Systems
Video Semantic Content Analysis Framework Based on Ontology Combined MPEG-7
Adaptive Multimedial Retrieval: Retrieval, User, and Semantics
Temporal Ontology Language for Representing and Reasoning Interval-Based Temporal Knowledge
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Interval-based temporal reasoning with general TBoxes
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Semantic middleware for robot swarm interaction through web services
MIC '08 Proceedings of the 27th IASTED International Conference on Modelling, Identification and Control
A formal theory for describing action concepts in terminological knowledge bases
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
POLICY'09 Proceedings of the 10th IEEE international conference on Policies for distributed systems and networks
OWL 2 modeling and reasoning with complex human activities
Pervasive and Mobile Computing
Dynamic description logics based semantic web services composition
AICI'11 Proceedings of the Third international conference on Artificial intelligence and computational intelligence - Volume Part II
Natural language communication between human and artificial agents
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
A dynamic access control model
Applied Intelligence
An extended description logic for event ontology
GPC'10 Proceedings of the 5th international conference on Advances in Grid and Pervasive Computing
PROTON: A Prolog Reasoner for Temporal ONtologies in OWL
Expert Systems with Applications: An International Journal
LTL over description logic axioms
ACM Transactions on Computational Logic (TOCL)
A Family of Dynamic Description Logics for Representing and Reasoning About Actions
Journal of Automated Reasoning
A probabilistic ontological framework for the recognition of multilevel human activities
Proceedings of the 2013 ACM international joint conference on Pervasive and ubiquitous computing
Description logic knowledge and action bases
Journal of Artificial Intelligence Research
Automatic Learning of Temporal Relations Under the Closed World Assumption
Fundamenta Informaticae - Cognitive Informatics and Computational Intelligence: Theory and Applications
Hi-index | 0.00 |
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true while the action itself is occurring, and plans are constructed by temporally relating actions and world states. The temporal languages are members of the family of Description Logics, which are characterized by high expressivity combined with good computational properties. The subsumption problem for a class of temporal Description Logics is investigated and sound and complete decision procedures are given. The basic language TL-F is considered first: it is the composition of a temporal logic TL - able to express interval temporal networks - together with the non-temporal logic F - a Feature Description Logic. It is proven that subsumption in this language is an NP-complete problem. Then it is shown how to reason with the more expressive languages TLU-FU and TL-ALCF. The former adds disjunction both at the temporal and non-temporal sides of the language, the latter extends the non-temporal side with set-valued features (i.e., roles) and a propositionally complete language.