论文信息 - Instrumenting Atomic Decomposition: Software APIs for OWL

Instrumenting Atomic Decomposition: Software APIs for OWL

The Atomic Decomposition (AD) of an ontology O is a compact representation of all the modules of O. Besides its theoretical value, it has some practical applications, which include optimised reasoning techniques. In this paper we describe the existing programming APIs that allow for the use of the AD of an ontology in Java and C++ programs.

Ignazio Palmisano | Dmitry Tsarkov | Chiara Del Vescovo

[1] Ignazio Palmisano,et al. Divide et Impera: Metareasoning for Large Ontologies , 2012, OWLED.

[2] Dmitry Tsarkov,et al. Improved Algorithms for Module Extraction and Atomic Decomposition , 2012, Description Logics.

[3] Chiara Del Vescovo,et al. The Modular Structure of an Ontology: Atomic Decomposition , 2011, IJCAI.

[4] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[5] Bijan Parsia,et al. The modular structure of an ontology: an empirical study , 2010, Description Logics.

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