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 | |
Editors | |
Attachments
|
|
Notes
|
|
|
|
Topics
|
|
|