Part-whole relations in object-centered systems: an overview
Data & Knowledge Engineering - Special issue on modeling parts and wholes
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
Structured Objects: Modeling and Reasoning
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
A reference ontology for biomedical informatics: the foundational model of anatomy
Journal of Biomedical Informatics - Special issue: Unified medical language system
Modeling a description logic vocabulary for cancer research
Journal of Biomedical Informatics
Optimized Reasoning in Description Logics Using Hypertableaux
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
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
A tableaux decision procedure for SHOIQ
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
Representing transitive propagation in OWL
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Chemical Knowledge for the Semantic Web
DILS '08 Proceedings of the 5th international workshop on Data Integration in the Life Sciences
EKAW '08 Proceedings of the 16th international conference on Knowledge Engineering: Practice and Patterns
Representing ontologies using description logics, description graphs, and rules
Artificial Intelligence
OSLN: An Object-Oriented Semantic Link Network language for complex object description and operation
Future Generation Computer Systems
Emerald: Legal Knowledge Engineering Using OWL and Rules
Proceedings of the 2009 conference on Legal Knowledge and Information Systems: JURIX 2009: The Twenty-Second Annual Conference
Towards an Ontological Modeling with Dependent Types: Application to Part-Whole Relations
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Combining description logics, description graphs, and rules
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN
Science of Computer Programming
Combining description logics, description graphs, and rules
ICCS'10 Proceedings of the 18th international conference on Conceptual structures: from information to intelligence
Verifying OWL ontology correctness using max-heaps
ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume II
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Using ontology reasoning for reverse engineering design patterns
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Advanced computational reasoning based on the NKRL conceptual model
Expert Systems with Applications: An International Journal
Ontology patterns for complex activity modelling
RuleML'13 Proceedings of the 7th international conference on Theory, Practice, and Applications of Rules on the Web
| Hi-index | 0.00 |
Applications of semantic technologies often require the representation of and reasoning with structured objects - that is, objects composed of parts connected in complex ways. Although OWL is a general and powerful language, its class descriptions and axioms cannot be used to describe arbitrarily connected structures. An OWL representation of structured objects can thus be underconstrained, which reduces the inferences that can be drawn and causes performance problems in reasoning. To address these problems, we extend OWL with description graphs, which allow for the description of structured objects in a simple and precise way. To represent conditional aspects of the domain, we also allow for SWRL-like rules over description graphs. Based on an observation about the nature of structured objects, we ensure decidability of our formalism. We also present a hypertableau-based decision procedure, which we implemented in the HermiT reasoner. To evaluate its performance, we have extracted description graphs from the GALEN and FMA ontologies, classified them successfully, and even detected a modeling error in GALEN.