ReAD: AD-Based Modular Ontology Classification

[1]  Bijan Parsia,et al.  Performance Heterogeneity and Approximate Reasoning in Description Logic Ontologies , 2012, International Semantic Web Conference.

[2]  Ian Horrocks,et al.  Modular Reuse of Ontologies: Theory and Practice , 2008, J. Artif. Intell. Res..

[3]  Bijan Parsia,et al.  The OWL Reasoner Evaluation (ORE) 2015 Competition Report , 2017, Journal of Automated Reasoning.

[4]  Boris Motik,et al.  A novel approach to ontology classification , 2012, J. Web Semant..

[5]  Boontawee Suntisrivaraporn.  Module Extraction and Incremental Classification: A Pragmatic Approach for Ontologies , 2008, ESWC.

[6]  Boris Motik,et al.  HermiT: An OWL 2 Reasoner , 2014, Journal of Automated Reasoning.

[7]  Markus Krötzsch,et al.  The Incredible ELK , 2013, Journal of Automated Reasoning.

[8]  Sean Bechhofer,et al.  The OWL API: A Java API for OWL ontologies , 2011, Semantic Web.

[9]  Bijan Parsia,et al.  OWL Reasoning: Subsumption Test Hardness and Modularity , 2017, Journal of Automated Reasoning.

[10]  Patrick Koopmann,et al.  Count and Forget: Uniform Interpolation of $\mathcal{SHQ}$ -Ontologies , 2014, IJCAR.

[11]  Ian Horrocks,et al.  MORe: Modular Combination of OWL Reasoners for Ontology Classification , 2012, SEMWEB.

[12]  Bernhard Nebel,et al.  Am empirical analysis of optimization techniques for terminological representation systems , 1994, Applied Intelligence.

[13]  Samantha Bail,et al.  A Snapshot of the OWL Web , 2013, International Semantic Web Conference.

[14]  Samantha Bail,et al.  Toward cognitive support for OWL justifications , 2013, Knowl. Based Syst..

[15]  Bernardo Cuenca Grau,et al.  Incremental Classification of Description Logics Ontologies , 2010, Journal of Automated Reasoning.

[16]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[17]  Boris Motik,et al.  OWL 2: The next step for OWL , 2008, J. Web Semant..

[18]  Ian Horrocks,et al.  Module Extraction in Expressive Ontology Languages via Datalog Reasoning , 2016, J. Artif. Intell. Res..