A possible simplification of the semantic web architecture
Proceedings of the 13th international conference on World Wide Web
An ontology-based multi-agent system conceptual model
International Journal of Computer Applications in Technology
Natural Language Processing as a Foundation of the Semantic Web
Foundations and Trends in Web Science
Fuzzy ontologies for the semantic web
FQAS'06 Proceedings of the 7th international conference on Flexible Query Answering Systems
Hi-index | 0.00 |
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information integration), they are perhaps best known as the basis for widely used ontology languages such as OWL (now a W3C recommendation). This decision was motivated by a requirement that key inference problems be decidable, and that it should be possible to provide reasoning services to support ontology design and deployment. Such reasoning services are typically provided by highly optimised implementations of tableaux decision procedures. In this talk I will introduce both the logics and decision procedures that underpin modern ontology languages, and the implementation techniques that have enabled state of the art systems to be effective in applications in spite of the high worst case complexity of key inference problems.