A formal ontology for a generalized inventive design methodology

, , &
Applied ontology 8 (4):231-273 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.3233/ao-140128

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Formal ontology for biomedical knowledge systems integration.J. M. Fielding, J. Simon & Barry Smith - 2004 - Proceedings of Euromise:12-17.
Inventive machine: second generation.M. Tsourikov Valery - 1993 - AI and Society 7 (1):62-77.
A Design Methodology Of Ontology Based Database Applications.Ladjel Bellatreche, Yamine Ait-Ameur & Chedlia Chakroun - 2011 - Logic Journal of the IGPL 19 (5):648-665.
The insufficiency of formal design methods.Bruce Edmonds - manuscript
Innovative design and the language of struggle.J. Thorpe - 1995 - AI and Society 9 (2-3):258-272.
On the Boundary between Material and Formal Ontology.Achille C. Varzi - 2010 - In Barry Smith, Riichiro Mizoguchi & Sumio Nakagawa (eds.), Interdisciplinary Ontology, Vol. 3: Proceedings of the Third Interdisciplinary Ontology Meeting. Keio University Press. pp. 3–8.
Formal Representations of Orbits.Robert J. Rovetto - manuscript
A Note on Introducing Formal Ontology to Constructivists. [REVIEW]Li Hengwei & Dong Da - 2017 - Constructivist Foundations 12 (3):302-303.
Using cross-lingual information to cope with underspecification in formal ontologies.Werner Ceusters, Ignace Desimpel, Barry Smith & Stefan Schulz - 2003 - Studies in Health Technology and Informatics 95:391-396.
Building Ontologies with Basic Formal Ontology.Robert Arp, Barry Smith & Andrew D. Spear - 2015 - Cambridge, MA: MIT Press.
A Methodology For The Representation Of Legal Knowledge: Formal Ontology Applied To Law.Daniela Tiscornia - 1995 - Sorites 2:44-45.
Methodology, ontology, and interventionism.James Woodward - 2015 - Synthese 192 (11):3577-3599.
Engineering a Development Platform for Ontology-Enhanced Knowledge Applications.Gary H. Merrill - 2006 - In Raj Sharman, Rajiv Kishore & Ram Ramesh (eds.), Ontologies: A Handbook of Principles, Concepts and Applications in Information Systems. Springer.
On Classifying Material Entities in Basic Formal Ontology.Barry Smith - 2012 - In Interdisciplinary Ontology: Proceedings of the Third Interdisciplinary Ontology Meeting. Keio University Press. pp. 1-13.
Ontology: Towards a new synthesis.Barry Smith & Chris Welty - 2001 - In Formal Ontology in Information Systems. New York: ACM Press.

Analytics

Added to PP
2019-11-30

Downloads
6 (#1,483,069)

6 months
3 (#1,045,430)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Handbook of Mathematical Logic.Jon Barwise - 1979 - British Journal for the Philosophy of Science 30 (3):306-309.
Handbook of Mathematical Logic.Akihiro Kanamori - 1984 - Journal of Symbolic Logic 49 (3):971-975.
Computational approaches to analogical reasoning.Rogers P. Hall - 1989 - Artificial Intelligence 39 (1):39-120.
Ontological categories in GOL.Barbara Heller & Heinrich Herre - 2004 - Axiomathes 14 (1-3):57-76.

View all 6 references / Add more references