Ontological modelling today is applied in many areas of science and technology, including the Semantic Web. The W3C standard OWL defines one of the most important ontology languages based on the semantics of description logics. An alternative is to use rule languages in knowledge modelling, as proposed in the W3Cs RIF standard. So far, it has often been unclear how to combine both technologies without sacrificing essential computational properties. This book explains this problem and presents new solutions that have recently been proposed. Extensive introductory chapters provide the necessary background for understanding the goals and challenges of this field, whereas advanced chapters discuss novel solutions in full detail. Enriched knowledge representation languages that are introduced include DL Rules, Horn description logics, and DL+safe Rules. In each of these cases, emphasis is put on finding a favourable trade-off between expressiveness and computational complexity. This naturally leads to the light-weight DL rule language ELP which illustrates that expressive ontological modelling and tractable inferencing can indeed go together. Comprehensive references for further reading are provided throughout the book.IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields. Some of the areas we publish in: -Biomedicine -Oncology -Artificial intelligence -Databases and information systems -Maritime engineering -Nanotechnology -Geoengineering -All aspects of physics -E-governance -E-commerce -The knowledge economy -Urban studies -Arms control -Understanding and responding to terrorism -Medical informatics -Computer Sciences
Cited By
- Jung J, Papacchini F, Wolter F and Zakharyaschev M Model comparison games for horn description logics Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, (1-14)
- Zhao Z, Paschke A and Zhang R (2016). A rule-based agent-oriented approach for supporting weakly-structured scientific workflows, Web Semantics: Science, Services and Agents on the World Wide Web, 37:C, (36-52), Online publication date: 1-Mar-2016.
- Carral D, Wang C and Hitzler P Towards an efficient algorithm to reason over description logics extended with nominal schemas Proceedings of the 7th international conference on Web Reasoning and Rule Systems, (65-79)
- Carral Martínez D and Hitzler P Extending description logic rules Proceedings of the 9th international conference on The Semantic Web: research and applications, (345-359)
- Krisnadhi A, Maier F and Hitzler P OWL and rules Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data, (382-415)
- Krötzsch M, Maier F, Krisnadhi A and Hitzler P A better uncle for OWL Proceedings of the 20th international conference on World wide web, (645-654)
Recommendations
Description Logic Rules
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial IntelligenceWe introduce description logic (DL) rules as a new rule-based formalism for knowledge representation in DLs. As a fragment of the Semantic Web Rule Language SWRL, DL rules allow for a tight integration with DL knowledge bases. In contrast to SWRL, ...
Description logic programs: combining logic programs with description logic
WWW '03: Proceedings of the 12th international conference on World Wide WebWe show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a ...