[BibTeX] [RIS]
A Modular Consistency Proof for Dolce
Type of publication: Inproceedings
Citation: KutzMossakowski2011
Booktitle: Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference
Year: 2011
Pages: 227-234
Publisher: AAAI Press; Menlo Park, CA
URL: http://www.aaai.org/ocs/index....
Abstract: We propose a novel technique for proving the consistency of large, complex and heterogeneous theories for which `standard' automated reasoning methods are considered insufficient. In particular, we exemplify the applicability of the method by establishing the consistency of the foundational ontology DOLCE, a large, first-order ontology. The approach we advocate constructs a global model for a theory, in our case DOLCE, built from smaller models of subtheories together with amalgamability properties between such models. The proof proceeds by (i) hand-crafting a so-called architectural specification of DOLCE which reflects the way models of the theory can be built, (ii) an automated verification of the amalgamability conditions, and (iii) a (partially automated) series of relative consistency proofs.
Userfields: bdsk-url-1={http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3754}, pdfurl={http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/download/3754/3863}, project={I1-OntoSpace}, status={Reviewed},
Keywords: ontology consistency modular architectural specification
Authors Kutz, Oliver
Mossakowski, Till
Editors Burgard, Wolfram
Roth, Dan