Corpus ID: 1221862

A Description Logic Primer

@article{Krtzsch2012ADL,
  title={A Description Logic Primer},
  author={M. Kr{\"o}tzsch and F. Simancik and I. Horrocks},
  journal={ArXiv},
  year={2012},
  volume={abs/1201.4089}
}
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. 
Description Logics
TLDR
This article provides a self-contained first introduction to description logics with examples before the syntax and semantics of the DL SROIQ are defined in detail. Expand
Introductions to Description Logics - A Guided Tour
TLDR
An overview of basic topics in the field of Description Logics is provided by surveying the introductory literature and course material with a focus on DL reasoning services by giving a historical perspective on DLs as a research area. Expand
On the Roles of Logical Axiomatizations for Ontologies
TLDR
This paper focuses on logic-based knowledge representation, which has been a mainstay of the Artificial Intelligence field since its inception in the 1950s and is the foundation for information representation languages on the World Wide Web, and thus for the Semantic Web. Expand
A Case Study on Intelligent Data Querying
  • 2015
We designed a new ontology based on wine data obtained from Wine.com. We first obtained the ORM2 conceptual model with a methodology which uses the constraints of the data to identify the relationsExpand
Generating an Excerpt of a Service Level Agreement from a Formal Definition of Non-Functional Aspects Using OWL
  • M. Rady
  • Computer Science
  • J. Univers. Comput. Sci.
  • 2014
TLDR
This paper modelled some non-functional aspects in an ontology and used this ontology as a knowledge base to generate an excerpt from a service contract on availability, one of the most discussed attributes in current Service Level Agreements. Expand
Elimination of Complex RIAs without Automata
TLDR
An algorithm is presented that eliminates complex role inclusion axioms from a SROIQ ontology preserving all logical consequences not involving non-simple roles and is formulated as a recursive expansion of universal restrictions, similar to well-known encodings of transitivity axiomatic. Expand
Ontology Partitioning Using E-Connections Revisited
TLDR
A new algorithm for computing partitions is devised which, in contrast to the original quadratic-time algorithm, can be implemented in linear time, is deterministic, and admits simple rigorous correctness and maximality proofs. Expand
Enhancing Description Logics for Rules Coverage
TLDR
This thesis formally defines a set of first order logic rules, C-Rules, which can be expressed within OWL extended with role conjunction, and shows that the use of nominal schemas results in even broader coverage, and formally presents aset of reductions from the domino problem and the intersection of two free context grammars for several minimal DL fragments. Expand
Rendering OWL in Description Logic Syntax
TLDR
A number of changes made to the OWLAPI’s Open image in new window rendering framework are introduced in order to improve the readability, concision, and correctness of translated OWL files, as well as increase the number of renderable OWL Files. Expand
15 Years of Semantic Web: An Incomplete Survey
TLDR
An overview of the developments the field has gone through in these 15 years is given, which will look at three different aspects: the evolution of Semantic Web Language Standards, the development of central topics in theSemantic Web Community and the Evolution of the research methodology. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 26 REFERENCES
Description Logics
TLDR
This article provides a self-contained first introduction to description logics with examples before the syntax and semantics of the DL SROIQ are defined in detail. Expand
Efficient Rule-Based Inferencing for OWL EL
TLDR
Recent results on inferencing for SROEL(×), a description logic that subsumes the main features of the W3C recommendation OWL EL, are reviewed, suggesting that efficient implementations are easier to obtain for suitable fragments of OWLEL. Expand
Reasoning in Description Logics: Basics, Extensions, and Relatives
  • U. Sattler
  • Mathematics, Computer Science
  • Reasoning Web
  • 2007
TLDR
This tutorial covers the very basics of Description Logics, namely its syntax, semantics, and reasoning problems, and presents the primary DL ALC, making use of a running example. Expand
Foundations of Description Logics
This chapter accompanies the foundational lecture onDescription Logics (DLs) at the 7th Reasoning Web Summer School in Galway, Ireland, 2011. It introduces basic notions and facts about this familyExpand
The Description Logic Handbook: Theory, Implementation, and Applications
TLDR
This new edition of The Description Logic Handbook provides a thorough account of the subject, covering all aspects of research in this field, namely: theory, implementation, and applications. Expand
Description logic programs: combining logic programs with description logic
TLDR
It is shown how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules and ontologies and define a new intermediate knowledge representation contained within this intersection: Description Logic Programs (DLP), and the closely related Description Horn Logic (DHL). Expand
All Elephants are Bigger than All Mice
TLDR
It is argued that concept products provide practically relevant expressivity at little cost, making them a good candidate for future extensions of the DL-based ontology language OWL. Expand
The Not-So-Easy Task of Computing Class Subsumptions in OWL RL
TLDR
This paper identifies syntactic restrictions to mitigate this problem, and proposes a rule system that is sound and complete for many OWL RL ontologies. Expand
OWL Datatypes: Design and Implementation
TLDR
The datatype system of OWL and OWL 2 is analyzed, and certain nontrivial consequences of its definition are discussed, such as the extensibility of the set of supported datatypes and complexity of reasoning. Expand
The Even More Irresistible SROIQ
TLDR
A rather elegant tableau-based reasoning algorithm that combines the use of automata to keep track of universal value restrictions with the techniques developed for SHOIQ, which has been adopted as the logical basis for the next iteration of OWL, OWL 1.1. Expand
...
1
2
3
...