Optimized DL Reasoning via Core Blocking

Optimized DL Reasoning via Core Blocking

Show other versions (1)

Bibliographic Details
Main Authors:	Glimm, B, Horrocks, I, Motik, B
Format:	Report
Published:	Oxford University Computing Laboratory 2010

Similar Items

Optimized DL Reasoning via Core Blocking
by: Horrocks, B, et al.
Published: (2010)

Optimized Description Logic Reasoning via Core Blocking.
by: Glimm, B, et al.
Published: (2010)

Optimized Description Logic Reasoning via Core Blocking
by: Glimm, B, et al.
Published: (2010)

HermiT: an OWL 2 reasoner
by: Glimm, B, et al.
Published: (2014)

A Comparison of Query Rewriting Techniques for DL−Lite
by: Pérez−Urbina, H, et al.
Published: (2009)

Optimized Reasoning in Description Logics Using Hypertableaux.
by: Motik, B, et al.
Published: (2007)

On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems
by: Ruiz, E, et al.
Published: (2012)

Individual Reuse in Description Logic Reasoning.
by: Motik, B, et al.
Published: (2008)

The HermiT OWL Reasoner
by: Horrocks, I, et al.
Published: (2012)

Streaming partitioning of RDF graphs for datalog reasoning
by: Ajileye, T, et al.
Published: (2021)

Hypertableau Reasoning for Description Logics
by: Motik, B, et al.
Published: (2014)

Repairing Ontologies for Incomplete Reasoners.
by: Stoilos, G, et al.
Published: (2011)

Repairing Ontologies for Incomplete Reasoners
by: Stoilos, G, et al.
Published: (2011)

Consequence-based and fixed-parameter tractable reasoning in description logics
by: Simancik, F, et al.
Published: (2014)

Optimising Ontology Classification.
by: Glimm, B, et al.
Published: (2010)

Optimising Ontology Classification
by: Glimm, B, et al.
Published: (2010)

Optimising Ontology Classification
by: Glimm, B, et al.
Published: (2010)

Completeness Guarantees for Incomplete Ontology Reasones: Theory and Practice
by: Grau, B, et al.
Published: (2012)

Completeness guarantees for incomplete ontology reasoners: theory and practice
by: Grau, B, et al.
Published: (2012)

Query Answering for OWL-DL with Rules.
by: Motik, B, et al.
Published: (2004)

Query Answering for OWL-DL with rules.
by: Motik, B, et al.
Published: (2005)

A mapping system for the integration of OWL-DL ontologies.
by: Haase, P, et al.
Published: (2005)

Datalog reasoning over compressed RDF knowledge bases
by: Hu, P, et al.
Published: (2019)

Pellet: A Practical OWL DL Reasoner
by: Sirin, E, et al.
Published: (2007)

Stream reasoning in temporal datalog
by: Ronca, A, et al.
Published: (2018)

Extending consequence-based reasoning to SRIQ
by: Bate, A, et al.
Published: (2016)

A Novel Approach to Ontology Classification
by: Glimm, B, et al.
Published: (2012)

A novel approach to ontology classification.
by: Glimm, B, et al.
Published: (2012)

Reasoning with DL−Based CP−Nets
by: Noia, T, et al.
Published: (2013)

Bagging the DL-Lite family further
by: Cima, G, et al.
Published: (2019)

Fixed Parameter Tractable Reasoning in DLs via Decomposition.
by: Simancik, F, et al.
Published: (2011)

Consequence-based reasoning for description logics with disjunctions and number restrictions
by: Bate, A, et al.
Published: (2018)

Consequence-based reasoning for description logics with disjunctions and number restrictions
by: Bate, A, et al.
Published: (2018)

Ontology Module Extraction via Datalog Reasoning
by: Romero, A, et al.
Published: (2015)

Ontology module extraction via datalog reasoning
by: Romero, A, et al.
Published: (2015)

Ontology module extraction via datalog reasoning
by: Romero, A, et al.
Published: (2014)

Handling owl:sameAs via rewriting
by: Horrocks, I, et al.
Published: (2015)

Trust-sensitive evolution of DL-lite knowledge bases
by: Zheleznyakov, D, et al.
Published: (2017)

Handling owl:sameAs via rewriting
by: Motik, B, et al.
Published: (2015)

Module extraction in expressive ontology languages via datalog reasoning
by: Grau, B, et al.
Published: (2016)