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
|
|
|
|
