| Publication type: |
Article in Proceedings |
| Author: |
Oliver Kutz, Till Mossakowski |
| Editor: |
Wolfram Burgard, Dan Roth |
| Title: |
A Modular Consistency Proof for Dolce |
| Book / Collection title: |
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative Applications of Artificial Intelligence Conference |
| Page(s): |
227 – 234 |
| Year published: |
2011 |
| Publisher: |
AAAI Press, Menlo Park, CA |
| 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. |
| Internet: |
http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3754 |
| PDF Version: |
http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/download/3754/3863 |
| Keywords: |
ontology consistency modular architectural specification |
| Status: |
Reviewed |
| Last updated: |
01. 02. 2012 |
