Cheap Boolean Role Constructors for Description Logics. by Rudolph, S, Krötzsch, M, Hitzler, P

“…We investigate the possibility of incorporating Boolean role constructors on simple roles into some of today's most popular description logics, focussing on cases where those extensions do not increase complexity of reasoning. …”

Optimized Reasoning in Description Logics Using Hypertableaux. by Motik, B, Shearer, R, Horrocks, I

“…We present a novel reasoning calculus for Description Logics (DLs)-knowledge representation formalisms with applications in areas such as the Semantic Web. …”

Deciding expressive description logics in the framework of resolution. by Hustadt, U, Motik, B, Sattler, U

“…We present a decision procedure for the description logic SHIQ based on the basic superposition calculus, and show that it runs in exponential time for unary coding of numbers. …”

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

Conjunctive query answering for the description logic SHIQ by Glimm, B, Horrocks, I, Luts, C, Sattler, U

“…Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive query answering over DL knowledge bases is only poorly understood if transitive roles are admitted in the query. …”

Dual box embeddings for the description logic EL++ by Jackermeier, M, Chen, J, Horrocks, I

“…OWL ontologies, whose formal semantics are rooted in Description Logic (DL), have been widely used for knowledge representation. …”

Acyclicity Conditions and their Application to Query Answering in Description Logics by Grau, B, Horrocks, I, Krötzsch, M, Kupke, C, Magka, D, Motik, B, Wang., Z

Tractable Extensions of the Description Logic EL with Numerical Datatypes by Magka, D, Kazakov, Y, Horrocks, I

Tractable Extensions of the Description Logic EL with Numerical Datatypes by Magka, D, Kazakov, Y, Horrocks, I

“…We consider extensions of the lightweight description logic (DL) EL with numerical datatypes such as naturals, integers, rationals and reals equipped with relations such as equality and inequalities. …”

Explanations for ontology-mediated query answering in description logics by Ceylan, II, Lukasiewicz, T, Malizia, E, Vaicenavičius, A

“…In this paper, we focus on description logic ontologies, and study the problem of explaining why an ontology-mediated query is entailed from a given data source. …”

Conjunctive Query Answering for Description Logics with Transitive Roles by Glimm, B, Horrocks, I, Sattler, U

Tractable Extensions of the Description Logic EL with Numerical Datatypes by Magka, D, Kazakov, Y, Horrocks, I

“…We consider extensions of the lightweight description logic (DL) EL with numerical datatypes such as naturals, integers, rationals and reals equipped with relations such as equality and inequalities. …”

Optimized Description Logic Reasoning via Core Blocking. by Glimm, B, Horrocks, I, Motik, B

“…State of the art reasoners for expressive description logics, such as those that underpin the OWL ontology language, are typically based on highly optimized implementations of (hyper)tableau algorithms. …”

Heuristic Ranking in Tightly Coupled Probabilistic Description Logics by Lukasiewicz, T, Martinez, V, Orsi, G, Simari, G

“…In particular, Web search companies are recently realizing that their products need to evolve towards having richer semantic search capabilities. Description logics (DLs) have been adopted as the formal underpinnings for Semantic Web languages used in describing ontologies. …”

Rewriting Conjunctive Queries under Description Logic Constraints by Pérez−Urbina, H, Motik, B, Horrocks, I

Optimized Description Logic Reasoning via Core Blocking by Glimm, B, Horrocks, I, Motik, B

Tractable Extensions of the Description Logic EL with Numerical Datatypes by Magka, D, Kazakov, Y, Horrocks, I

Tractable Extensions of the Description Logic EL with Numerical Datatypes by Magka, D, Kazakov, Y, Horrocks, I

“…We consider extensions of the lightweight description logic (DL) EL with numerical datatypes such as naturals, integers, rationals and reals equipped with relations such as equality and inequalities. …”

Proceedings of the 22nd International Workshop on Description Logics

Representing Ontology Mappings with Probabilistic Description Logics Programs by Calì, A, Lukasiewicz, T, Predoiu, L, Stuckenschmidt, H