A modular consistency proof for DOLCE

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2011, Pages 227-234

  Kutz, Oliver ^a   Mossakowski, Till ^a,b  

^a UNIVERSITY OF BREMEN   (Germany)

^b GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURAL SPECIFICATIONS; AUTOMATED REASONING; AUTOMATED VERIFICATION; FIRST-ORDER; FOUNDATIONAL ONTOLOGIES; GLOBAL MODELS; HETEROGENEOUS THEORY; NOVEL TECHNIQUES; RELATIVE CONSISTENCY;

ARTIFICIAL INTELLIGENCE; AUTOMATA THEORY; AUTOMATION;

ONTOLOGY;

EID: 80055030876     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Astesiano, E.; Bidoit, M.; Kirchner, H.; Krieg-Brückner, B.; Mosses, P. D.; Sannella, D.; and Tarlecki, A. 2002. CASL: The Common Algebraic Specification Language. Theoretical Computer Science 286(2):153-196. (Pubitemid 35011405)
2. Baumgartner, P., and Tinelli, C. 2003. The Model Evolution Calculus. In Baader, F., ed., CADE-19, volume 2741 of LNAI, 350-364. Springer.
3. Baumgartner, P.; Fuchs, A.; and Tinelli, C. 2004. Darwin: A Theorem Prover for the Model Evolution Calculus. In Schulz, S.; Sutcliffe, G.; and Tammet, T., eds., ESFOR-04, IJCAR Workshop, ENTCS.
4. Bidoit, M.; Sannella, D.; and Tarlecki, A. 2002. Architectural specifications in CASL. Formal Aspects of Computing 13:252-273. (Pubitemid 41204153)
5. Gangemi, A.; Guarino, N.; Masolo, C.; Oltramari, A.; and Schneider, L. . 2002. Sweetening Ontologies with DOLCE. In Gómez-Pérez, A., and Benjamins, V. R., eds., EKÄW-02, LNCS Vol. 2473, 166-181. Springer.
6. Grenon, P.; Smith, B.; and Goldberg, L. 2004. Biodynamic Ontology: Applying BFO in the Biomedical Domain. In Pisanelli, D. M., ed., Ontologies in Medicine. IOS. 20-38.
7. Herre, H. 2010. General Formal Ontology (GFO): A Foundational Ontology for Conceptual Modelling. In Poli, R.; Healy, M.; and Kameas, A., eds., Theory and Applications of Ontology: Computer Applications. Springer. 297-345.
8. Horrocks, I., and Voronkov, A. 2006. Reasoning support for expressive ontology languages using a theorem prover. In FoIKS-06, number 3861 in LNCS, 201-218. Springer.
9. Klin, B.; Hoffman, P.; Tarlecki, A.; Schröder, L.; and Mossakowski, T. 2001. Checking Amalgamability Conditions for CASL Architectural Specifications. In MFCS-01, 451-463. London, UK: Springer.
10. Kutz, O.; Lücke, D.; and Mossakowski, T. 2008. Modular Construction of Models - Towards a Consistency Proof for the Foundational Ontology DOLCE. In First International Workshop on Foundations of Computer Science as Logic-Related, (ICTAC-08).
11. Masolo, C.; Borgo, S.; Gangemi, A.; Guarino, N.; and Oltramari, A. 2003. Ontology Library - WonderWeb Deliverable D18. Technical report, Laboratory For Applied Ontology - ISTC-CNR, Trento, Italy.
12. Mossakowski, T.; Maeder, C.; and Lüttich, K. 2007. The Heterogeneous Tool Set. In Grumberg, O., and Huth, M., eds., TACAS-07, volume 4424 of LNCS, 519-522.
13. Niles, I., and Pease, A. 2001. Towards a Standard Upper Ontology. In FOIS-01, 2-9. New York, NY, USA: ACM.
14. Voronkov, A. 2006. Inconsistencies in Ontologies. In JELIA-06, 19.
15. Weber, T. 2005. Bounded model generation for Isabelle/HOL. volume 125 of ENTCS, 103-116.
16. Weidenbach, C.; Brahm, U.; Hillenbrand, T.; Keen, E.; Theobalt, C.; and Topic, D. 2002. SPASS version 2.0. In Voronkov, A., ed., Automated Deduction, CADE-18, volume 2.392 of LNCS Vol., 275-279. Springer.