The following pages link to Boris Motik (Q490522):
Displaying 32 items.
- Consequence-based and fixed-parameter tractable reasoning in description logics (Q490523) (← links)
- Representing ontologies using description logics, description graphs, and rules (Q840831) (← links)
- Deciding expressive description logics in the framework of resolution (Q924723) (← links)
- A resolution-based decision procedure for \({\mathcal{SHOIQ}}\). (Q928657) (← links)
- Erratum to: A resolution-based decision procedure for \({\mathcal{SHOIQ}}\) (Q928674) (← links)
- Tractable query answering and rewriting under description logic constraints (Q975872) (← links)
- Modular materialisation of Datalog programs (Q2144176) (← links)
- Maintenance of datalog materialisations revisited (Q2321273) (← links)
- HermiT: an OWL 2 reasoner (Q2351420) (← links)
- Reasoning in description logics by a reduction to disjunctive datalog (Q2462648) (← links)
- Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies (Q2846569) (← links)
- Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice (Q2887081) (← links)
- The Complexity of Answering Conjunctive and Navigational Queries over OWL 2 EL Knowledge Bases (Q2938475) (← links)
- Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach (Q3143572) (← links)
- Individual Reuse in Description Logic Reasoning (Q3541705) (← links)
- Reconciling description logics and rules (Q3579631) (← links)
- Optimized Reasoning in Description Logics Using Hypertableaux (Q3608764) (← links)
- A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$ (Q3613440) (← links)
- Hypertableau Reasoning for Description Logics (Q3651485) (← links)
- Combining Description Logics, Description Graphs, and Rules (Q3655191) (← links)
- (Q4411723) (← links)
- (Q4411910) (← links)
- (Q4411915) (← links)
- (Q4484197) (← links)
- Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions (Q4558797) (← links)
- The Complexity and Expressive Power of Limit Datalog (Q5066944) (← links)
- A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes (Q5387895) (← links)
- On the Properties of Metamodeling in OWL (Q5427250) (← links)
- Journal on Data Semantics II (Q5463900) (← links)
- Rewriting Conjunctive Queries over Description Logic Knowledge Bases (Q5504588) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705930) (← links)
- Optimized Description Logic Reasoning via Core Blocking (Q5747784) (← links)
