A Structure-preserving Clause Form Translation
Journal of Symbolic Computation
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Combining Horn rules and description logics in CARIN
Artificial Intelligence
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
JELIA '96 Proceedings of the European Workshop on Logics in Artificial Intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
WWW '05 Proceedings of the 14th international conference on World Wide Web
Deciding Regular Grammar Logics with Converse Through First-Order Logic
Journal of Logic, Language and Information
Decidability of SHIQ with complex role inclusion axioms
Artificial Intelligence
Structured objects in owl: representation and reasoning
Proceedings of the 17th international conference on World Wide Web
Web Semantics: Science, Services and Agents on the World Wide Web
Fusions of description logics and abstract description systems
Journal of Artificial Intelligence Research
A faithful integration of description logics with logic programming
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
GeoS '09 Proceedings of the 3rd International Conference on GeoSpatial Semantics
Combining description logics, description graphs, and rules
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
A better uncle for OWL: nominal schemas for integrating rules and ontologies
Proceedings of the 20th international conference on World wide web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
AIME'11 Proceedings of the 13th conference on Artificial intelligence in medicine
Chemical knowledge representation with description graphs and logic programming
Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences
Modelling structured domains using description graphs and logic programming
ESWC'12 Proceedings of the 9th international conference on The Semantic Web: research and applications
Modelling highly symmetrical molecules: linking ontologies and graphs
AIMSA'12 Proceedings of the 15th international conference on Artificial Intelligence: methodology, systems, and applications
The Foundational Model of Anatomy in OWL 2 and its use
Artificial Intelligence in Medicine
Computing stable models for nonmonotonic existential rules
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
A decidable extension of SROIQ with complex role chains and unions
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
Description logics (DLs) are a family of state-of-the-art knowledge representation languages, and their expressive power has been carefully crafted to provide useful knowledge modeling primitives while allowing for practically effective decision procedures for the basic reasoning problems. Recent experience with DLs, however, has shown that their expressivity is often insufficient to accurately describe structured objects-objects whose parts are interconnected in arbitrary, rather than tree-like ways. DL knowledge bases describing structured objects are therefore usually underconstrained, which precludes the entailment of certain consequences and causes performance problems during reasoning. To address this problem, we propose an extension of DL languages with description graphs-a knowledge modeling construct that can accurately describe objects with parts connected in arbitrary ways. Furthermore, to enable modeling the conditional aspects of structured objects, we also extend DLs with rules. We present an in-depth study of the computational properties of such a formalism. In particular, we first identify the sources of undecidability of the general, unrestricted formalism. Based on that analysis, we then investigate several restrictions of the general formalism that make reasoning decidable. We present practical evidence that such a logic can be used to model nontrivial structured objects. Finally, we present a practical decision procedure for our formalism, as well as tight complexity bounds.