Formal semantics and ontologies: Towards an ontological account of formal semantics

Frontiers in Artificial Intelligence and Applications

Volumn 183, Issue 1, 2008, Pages 49-62

  Loebe, Frank ^a   Herre, Heinrich ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

first order logic; formal semantics; ontological semantics; ontology

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC; FORMAL METHODS; ONTOLOGY;

CONVENTIONAL APPROACH; FIRST ORDER LOGIC; FORMAL ONTOLOGY; FORMAL SEMANTICS; MATHEMATICAL NOTION; ONTOLOGICAL SEMANTIC; ONTOLOGY'S; REASONING SYSTEM; REPRESENTATION LANGUAGES; SEMANTIC FOUNDATION;

SEMANTICS;

EID: 84875951179     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-58603-923-3-49     Document Type: Conference Paper

References (30)

1. Thomas R. Gruber. A translation approach to portable ontology specifications. Knowledge Acquisition, 5(2):199-220, 1993.
2. Heinrich Herre, Barbara Heller, Patryk Burek, Robert Hoehndorf, Frank Loebe, and Hannes Michalek. General Formal Ontology (GFO) [Version 1.0]. Onto-Med Report 8, IMISE, University of Leipzig, Germany, 2006.
3. Barbara Heller and Heinrich Herre. Ontological categories in GOL. Axiomathes, 14(1):57-76, 2004.
4. James Rumbaugh, Ivar Jacobson, and Grady Booch. The Unified Modeling Language Reference Manual. Addison Wesley, 2nd edition, 2005.
5. Mihai Ciocoiu and Dana S. Nau. Ontology-based semantics. In Principles of Knowledge Representation and Reasoning: Proceedings of KR-2000, pages 539-546. Morgan Kaufmann, 2000.
6. Sergei Nirenburg and Victor Raskin. Ontological Semantics. MIT Press, 2004.
7. Heinrich Herre and Frank Loebe. A meta-ontological architecture for foundational ontologies. In On the Move to Meaningful Internet Systems 2005, (Part II): Proceedings of ODBASE 2005, volume 3761 of LNCS, pages 1398-1415. Springer, 2005.
8. Asunción Gómez-Pérez, Mariano Fernández- López, and Oscar Corcho. Ontological Engineering. Springer, 2004.
9. Peter Patel-Schneider, Patrick J. Hayes, and Ian Horrocks. OWL Web Ontology Language semantics and abstract syntax. W3C Recommendation, W3C, 2004.
10. Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors. The Description Logic Handbook. Cambridge University Press, 2003.
11. Natasha Noy and Alan Rector. Defining N-ary relations on the Semantic Web. W3C working group note, W3C, 2006. http://www.w3.org/TR/2006/NOTE-swbp-n- aryRelations-20060412/.
12. Marc Denecker. What's in a model? Epistemological analysis of logic programming. In Principles of Knowledge Representation and Reasoning: Proceedings of KR-2004, pages 106-113. AAAI Press, 2004.
13. Jon Doyle, editor. Special issue on implemented knowledge representation and reasoning systems. SIGART Bulletin 2(3), 1991.
14. Robert Neches, Richard Fikes, Tim Finin, Thomas Gruber, Ramesh Patil, Ted Senator, and William R. Swartout. Enabling technology for knowledge sharing. AI Magazine, 12(3):36-56, 1991.
15. John F. Sowa. Knowledge Representation. Brooks/Cole, 2000.
16. Jon Barwise and Solomon Feferman, editors. Model-Theoretic Logics. Springer, 1985.
17. Jon Barwise and John Perry. Situations and Attitudes. MIT Press, 1983.
18. Claudio Masolo, Stefano Borgo, Aldo Gangemi, Nicola Guarino, and Alessandro Oltramari. Wonder-Web Deliverable D18: Ontology library (final). Technical report, Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy, 2003.
19. Herbert B. Enderton. A Mathematical Introduction to Logic. Academic Press, 1972.
20. Frank Loebe. Abstract vs. social roles-Towards a general theoretical account of roles. Applied Ontology, 2(2):127-158, 2007.
21. Frank Loebe. An analysis of roles: Towards ontology-based modelling. Onto-Med Report 6, IMISE, University of Leipzig, Germany, 2003.
22. Amie Thomasson. Categories. In The Stanford Encyclopedia of Philosophy. CSLI, Stanford University, Fall 2004 edition, 2004. http://plato.stanford.edu/ archives/fall2004/entries/categories/.
23. OMG. Unified Modeling Language: Superstructure. Specification v2.1.2, OMG, 2007.
24. Keith Devlin. Situation theory and situation semantics. In Logic and the Modalities in the Twentieth Century, volume 7 of Handbook of the History of Logic, pages 601-664. Elsevier, 2006.
25. Robert E. Kent. Semantic integration in the Information Flow Framework. In Semantic Interoperability and Integration, number 04391 in Dagstuhl Seminar Proceedings. IBFI, Schloss Dagstuhl, Germany, 2005.
26. W. Marco Schorlemmer, Yannis Kalfoglou, and Manuel Atencia. A formal foundation for ontologyalignment interaction models. International Journal on Semantic Web and Information Systems, 3(2):50-68, 2007.
27. Barbara Partee and Herman L. W. Hendriks. Montague grammar. In Handbook of Logic and Language, chapter 1, pages 5-92. MIT Press, 1997.
28. George Bealer. Quality and Concept. Clarendon Press, 1982.
29. ISO. Information technology-Common Logic (CL): a framework for a family of logic-based languages. International Standard 24707, ISO/IEC, 2007.
30. Boris Motik. On the properties of metamodeling in OWL. Journal of Logic and Computation, 17(4):617-637, 2007.