The following pages link to Ian Horrocks (Q438565):
Displaying 50 items.
- Tractable extensions of the description logic \({\mathcal{EL}}\) with numerical datatypes (Q438566) (← links)
- Consequence-based and fixed-parameter tractable reasoning in description logics (Q490523) (← links)
- Decidability of SHIQ with complex role inclusion axioms (Q814639) (← links)
- Representing ontologies using description logics, description graphs, and rules (Q840831) (← links)
- Tractable query answering and rewriting under description logic constraints (Q975872) (← links)
- Evaluating optimized decision procedures for propositional modal \(\mathbf K(m)\) satisfiability (Q1610668) (← links)
- \texttt{OWL2Vec}*: embedding of OWL ontologies (Q2071326) (← links)
- The delay and window size problems in rule-based stream reasoning (Q2124457) (← links)
- Modular materialisation of Datalog programs (Q2144176) (← links)
- 15 years of consequence-based reasoning (Q2185492) (← links)
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \) (Q2238693) (← links)
- Maintenance of datalog materialisations revisited (Q2321273) (← links)
- Foundations of ontology-based data access under bag semantics (Q2321309) (← links)
- HermiT: an OWL 2 reasoner (Q2351420) (← links)
- Optimizing terminological reasoning for expressive description logics (Q2462645) (← links)
- A tableau decision procedure for \(\mathcal{SHOIQ}\) (Q2462647) (← links)
- (Q2721184) (← links)
- (Q2723446) (← links)
- Evaluating optimised decision procedures for propositional modal \({\mathbf K}_{({\mathbf m})}\) satisfiability (Q2751043) (← links)
- (Q2767029) (← links)
- Module extraction in expressive ontology languages via Datalog reasoning (Q2790149) (← links)
- Acyclicity notions for existential rules and their application to query answering in ontologies (Q2846569) (← links)
- Concrete Results on Abstract Rules (Q2851271) (← links)
- Hybrid logics and ontology languages (Q2867944) (← links)
- Completeness guarantees for incomplete ontology reasoners: theory and practice (Q2887081) (← links)
- (Q2970045) (← links)
- An Introduction to Description Logic (Q2974769) (← links)
- (Q3044362) (← links)
- $\mathcal{EL}$ -ifying Ontologies (Q3192212) (← links)
- PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner (Q3454515) (← links)
- (Q3457248) (← links)
- Individual Reuse in Description Logic Reasoning (Q3541705) (← links)
- Optimized Reasoning in Description Logics Using Hypertableaux (Q3608764) (← links)
- (Q3624094) (← links)
- Extracting Modules from Ontologies: A Logic-Based Approach (Q3631357) (← links)
- Hypertableau Reasoning for Description Logics (Q3651485) (← links)
- (Q4217959) (← links)
- Optimizing description logic subsumption (Q4260083) (← links)
- A description logic with transitive and inverse roles and role hierarchies (Q4260087) (← links)
- (Q4411721) (← links)
- (Q4411758) (← links)
- (Q4428317) (← links)
- (Q4428403) (← links)
- Practical reasoning for very expressive description logics (Q4487262) (← links)
- An analysis of empirical testing for modal decision procedures (Q4487264) (← links)
- (Q4501603) (← links)
- Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions (Q4558797) (← links)
- (Q4739549) (← links)
- (Q4809039) (← links)
- (Q4938424) (← links)
