Library

A Description Logic Primer

This paper provides a self-contained first introduction to d escription log- ics (DLs). The main concepts and features are explained with examples before syn- tax and semantics of the DLSROIQ are defined in detail. Additional sections review light-weight DL languages, discuss the relationship to the Web Ontology Language OWL and give pointers to further reading.

cs.AIcs.LOComputer Science
View graphSource

Paper

References (21)

01The Not-So-Easy Task of Computing Class Subsumptions in OWL RLM. Krötzsch2012 · International Workshop on the Semantic Web · 23 citations
02OWL 2 Profiles: An Introduction to Lightweight Ontology LanguagesM. Krötzsch2012 · Reasoning Web · 102 citations
03Foundations of Description LogicsSebastian Rudolph2011 · Reasoning Web · 151 citations
04Efficient Rule-Based Inferencing for OWL ELM. Krötzsch2011 · International Joint Conference on Artificial Intelligence · 72 citations
05Foundations of Semantic Web TechnologiesP. Hitzler, M. Krötzsch, Sebastian Rudolph2009 · 936 citations
06OWL 2: The next step for OWLB. C. Grau, Ian Horrocks, B. Motik et al.2008 · Journal of Web Semantics · 983 citations
07OWL Datatypes: Design and ImplementationB. Motik, Ian Horrocks2008 · International Workshop on the Semantic Web · 47 citations
08Cheap Boolean Role Constructors for Description LogicsSebastian Rudolph, M. Krötzsch, P. Hitzler2008 · European Conference on Logics in Artificial Intelligence · 65 citations
09Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite FamilyDiego Calvanese, Giuseppe De Giacomo, D. Lembo et al.2007 · Journal of automated reasoning · 1.6k citations
10Reasoning in Description Logics: Basics, Extensions, and RelativesU. Sattler2007 · Reasoning Web · 12 citations
11The Even More Irresistible SROIQIan Horrocks, O. Kutz, U. Sattler2006 · International Conference on Principles of Knowledge Representation and Reasoning · 1.1k citations
12Pushing the EL EnvelopeF. Baader, S. Brandt, C. Lutz2005 · International Joint Conference on Artificial Intelligence · 1.3k citations

Scroll for more · 9 remaining

Similar papers

A Formal Semantics for Concept Understanding Relying on Description LogicsFarshad Badie2017 · International Conference on Agents and Artificial Intelligence · 3 citations In Library
Extending Description Logics for Semantic Web Ontology Implementation DomainsAjeet Jain, PVRD Prasad Rao, K. Venkatesh Sharma2020 · TEST Engineering & Management In Library
An Occurrence Description LogicFarshad Badie, Hans Götzsche2022 · Logical Investigations · 0 citations In Library
Description Logics with Abstraction and RefinementCarsten Lutz, Lukas Schulze2023 In Library
Description Logics with Abstraction and RefinementCarsten Lutz, Lukas Schulze2023 · arXiv (Cornell University) In Library
Two-Dimensional Description Logics for Context-Based Semantic InteroperabilitySzymon Klarman, Víctor Gutiérrez-Basulto2011 · AAAI Conference on Artificial Intelligence · 27 citations In Library
DLOLIS-A: Description Logic based Text Ontology LearningSourish Dasgupta, Ankur Padia, Kushal Shah et al.2013 · arXiv.org · 3 citations In Library
Reasoning within Fuzzy Description LogicsUmberto Straccia2011 · Journal of Artificial Intelligence Research · 563 citations In Library
Enrichment of Semantic Sensor Network Ontology: Description Logics based approachSudeepta Pal, Sugyan Kumar Mishra, Chouhan Kumar Rath et al.2020 · International Conference on Industrial Technology · 2 citations In Library
Practical Defeasible Reasoning for Description LogicsKodylan Moodley, T. Meyer, U. Sattler2014 · Starting AI Researchers' Symposium · 2 citations In Library
© 2026 NYSGPT2525 LLC