Role Conjunctions in Expressive Description Logics by Glimm, B, Kazakov, Y

“…We show that adding role conjunctions to the Description Logics (DLs) SHI and SHOIF causes a jump in the computational complexity of the standard reasoning tasks from ExpTime-complete to 2ExpTime-complete and from NExpTime-complete to N2ExpTime-hard respectively. …”

Stratified Probabilistic Description Logic Programs by Lukasiewicz, T

“…<p>In previous work, we have introduced probabilistic description logic programs (or pdl-programs), which are a combination of description logic programs (or dl-programs) under the answer set and well-founded semantics with Poole's independent choice logic. …”

Tractable Probabilistic Description Logic Programs by Lukasiewicz, T, Simari, G

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

Individual Reuse in Description Logic Reasoning. by Motik, B, Horrocks, I

“…Tableau calculi are the state-of-the-art for reasoning in description logics (DL). Despite recent improvements, tableau-based reasoners still cannot process certain knowledge bases (KBs), mainly because they end up building very large models. …”

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

Role Conjunctions in Expressive Description Logics by Glimm, B, Kazakov, Y

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

Role Conjunctions in Expressive Description Logics by Glimm, B, Kazakov, Y

The description logic handbook : theory, implementation, and applications / by Baader, Franz

Process model management using description logics / by Groner, Gerd

Subjects: “…Description logics…”

Plausible Description Logic Programs for Stream Reasoning by Ioan Alfred Letia, Adrian Groza

Subjects: Get full text

Conjunctive Query Answering in the Description Logic SHIQ by Glimm, B, Horrocks, I, Lutz, C, Sattler, U

On the Semantic Relationship between Datalog and Description Logics. by Krötzsch, M, Rudolph, S, Schmitt, P

“…Translations to (first-order) datalog have been used in a number of inferencing techniques for description logics (DLs), yet the relationship between the semantic expressivities of function-free Horn logic and DL is understood only poorly. …”

Ideal Downward Refinement in the EL Description Logic by Lehmann, J, Haase, C

“…With the proliferation of the Semantic Web, there has been a rapidly rising interest in description logics, which form the logical foundation of the W3C standard ontology language OWL. …”

Revising General Knowledge Bases in Description Logics by Wang, Z, Wang, K, Topor, R

Consequence-based reasoning for the Description Logic SROIQ by Tena Cucala, DJ

“…<p>Consequence-based (CB) reasoners combine ideas from resolution and (hyper)tableau calculi to solve the problem of ontology classification in Description Logics (DLs). Existing CB reasoners, however, are only capable of handling DLs without nominals (such as SRIQ), or DLs without disjunction (such as Horn-SROIQ). …”

Nominal Schemas for Integrating Rules and Description Logics. by Krötzsch, M, Maier, F, Krisnadhi, A, Hitzler, P

“…This feature allows us to express arbitrary DL-safe rules in description logic syntax. We show that adding nominal schemas to SROIQ does not increase its worst-case reasoning complexity, and we identify a family of tractable DLs SROELVn that allow for restricted use of nominal schemas.…”

Conjunctive Query Answering for the Description Logic SHIQ by Glimm, B, Horrocks, I, Lutz, C, Sattler, U

Combining Description Logics, Description Graphs, and Rules. by Motik, B

“…Recent practical experience with description logics (DLs) has revealed that their expressivity is often insufficient to accurately describe structured objects-objects whose parts are interconnected in arbitrary, rather than tree-like ways. …”

Computing horn rewritings of description logics ontologies by Kaminski, M, Cuenca Grau, B