Description logics by Krötzsch, M, Simancik, F, Horrocks, I

“…This article provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before the syntax and semantics of the DL SROIQ are defined in detail. …”

Description Logic Programs: Combining Logic Programs with Description Logic by Grosof, Benjamin, Horrocks, Ian, Volz, Raphael, Decker, Stefan

Subjects: Get full text

Description logic rules / by 518544 Krt̲zsch, Markus

Subjects: “…Description logics…”

Unification in the Description Logic EL by Franz Baader, Barbara Morawska

“…The Description Logic EL has recently drawn considerable attention since, on the one hand, important inference problems such as the subsumption problem are polynomial. …”
Get full text

Simplifying Description Logic Ontologies by Nikitina, N, Schewe, S

Expressive Probabilistic Description Logics by Lukasiewicz, T

“…The sublanguages OWL Lite and OWL DL have a formal semantics and a reasoning support through a mapping to the expressive description logics SHIF(D) and SHOIN(D), respectively. In this paper, we present the expressive probabilistic description logics P-SHIF(D) and P-SHOIN(D), which are probabilistic extensions of these description logics. …”

Probabilistic Description Logic Programs by Lukasiewicz, T

“…<p>Towards sophisticated representation and reasoning techniques that allow for probabilistic uncertainty in the Rules, Logic, and Proof layers of the Semantic Web, we present probabilistic description logic programs (or pdl-programs), which are a combination of description logic programs (or dl-programs) under the answer set semantics and the well-founded semantics with Poole's independent choice logic. …”

Hypertableau Reasoning for Description Logics by Motik, B, Shearer, R, Horrocks, I

“…We present a novel reasoning calculus for the description logic SHOIQ^+---a knowledge representation formalism with applications in areas such as the Semantic Web. …”

Reconciling description logics and rules. by Motik, B, Rosati, R

“…Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual knowledge, rules are focused on nonmonotonic inference. …”

Probabilistic Description Logic Programs by Lukasiewicz, T

“…<p>Towards sophisticated representation and reasoning techniques that allow for probabilistic uncertainty in the Rules, Logic, and Proof layers of the Semantic Web, we present probabilistic description logic programs (or pdl-programs), which are a combination of description logic programs (or dl-programs) under the answer set semantics and the well-founded semantics with Poole's independent choice logic.We show that query processing in such pdl-programs can be reduced to computing all answer sets of dl-programs and solving linear optimization problems, and to computing the well-founded model of dl-programs, respectively. …”

A Description Logic Primer by Krötzsch, M, Simancik, F, Horrocks, I

Complexities of Horn Description Logics. by Krötzsch, M, Rudolph, S, Hitzler, P

“…Horn description logics are obtained, roughly speaking, by disallowing all forms of disjunctions. …”

Scalable reasoning for description logics by Shearer, R

“…<p>Description logics (DLs) are knowledge representation formalisms with well-understood model-theoretic semantics and computational properties. …”

The Data Complexity of Description Logic Ontologies by Carsten Lutz, Frank Wolter

“…We analyze the data complexity of ontology-mediated querying where the ontologies are formulated in a description logic (DL) of the ALC family and queries are conjunctive queries, positive existential queries, or acyclic conjunctive queries. …”
Get full text

Tractable Probabilistic Description Logic Programs by Lukasiewicz, T

“…<p>We propose tractable probabilistic description logic programs (or probabilistic dl-programs) for the Semantic Web, which combine tractable description logics, normal programs under the answer set semantics, and probabilities. …”

Tractable reasoning with bayesian description logics by D'Amato, C, Fanizzi, N, Lukasiewicz, T

“…The DL-Lite family of tractable description logics lies between the semantic web languages RDFS and OWL Lite. …”

Tractable Reasoning with Bayesian Description Logics by d'Amato, C, Fanizzi, N, Lukasiewicz, T

“…<p>The <em>DL-Lite</em> family of tractable description logics lies between the semantic web languages RDFS and OWL Lite. …”

Complexity Boundaries for Horn Description Logics. by Krötzsch, M, Rudolph, S, Hitzler, P

“…Horn description logics (Horn-DLs) have recently started to attract attention due to the fact that their (worst-case) data complexities are in general lower than their overall (i.e. combined) complexities, which makes them attractive for reasoning with large ABoxes. …”

Integrating Action Calculi and Description Logics by Drescher, C, Thielscher, M

“…In this paper, we show how to use Description Logic as the basis for a decidable yet still expressive action formalism. …”

Incremental Classification of Description Logics Ontologies by Grau, C, Bernardo, Halaschek−Wiener, C, Kazakov, Y, Suntisrivaraporn, B