Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,052,285 papers from all fields of science
Search
Sign In
Create Free Account
Formal ontology
In philosophy, the term formal ontology is used to refer to an ontology defined by axioms in a formal language with the goal to provide an unbiased…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
19 relations
Basic Formal Ontology
Biositemap
CIDOC Conceptual Reference Model
Cyc
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Ontology-Based Visual Query Formulation: An Industry Experience
A. Soylu
,
E. Kharlamov
,
D. Zheleznyakov
,
Ernesto Jiménez-Ruiz
,
M. Giese
,
Ian Horrocks
International Symposium on Visual Computing
2015
Corpus ID: 14300329
Querying is an essential instrument for meeting ad hoc information needs; however, current approaches for querying semantic data…
Expand
2014
2014
A multimedia ontology model based on linguistic properties and audio-visual features
A. M. Rinaldi
Information Sciences
2014
Corpus ID: 33677815
Highly Cited
2011
Highly Cited
2011
Information integration in chemical process engineering based on semantic technologies
A. Wiesner
,
J. Morbach
,
W. Marquardt
Computers and Chemical Engineering
2011
Corpus ID: 206920206
2011
2011
Risk Assessment in Multi-disciplinary (Software+) Engineering Projects
S. Biffl
,
T. Moser
,
D. Winkler
International journal of software engineering and…
2011
Corpus ID: 207130840
Software systems in safety-critical industrial automation systems, such as power plants and steel mills, become increasingly…
Expand
2006
2006
Ontological Investigation of a Multiscale Ecosystem Classification Using the “National Hierarchical Framework of Ecological Units” as an Example
Alexandre Sorokine
,
Thomas Bittner
,
C. Renschler
GeoInformatica
2006
Corpus ID: 36553493
This paper presents a formalized ontological framework for the analysis of multiscale classifications of geographic objects. We…
Expand
Review
2003
Review
2003
Master Product Model for the Support of Tighter Integration of Spatial and Functional Design
S. Fenves
,
Young Choi
,
B. Gurumoorthy
,
Gregory M. Mocko
,
Ram D. Sriram
2003
Corpus ID: 14442755
In this report, we review current engineering practices and the research literature dealing with the integration of spatial and…
Expand
Highly Cited
2002
Highly Cited
2002
Global Schema Generation Using Formal Ontologies
F. Hakimpour
,
A. Geppert
International Conference on Conceptual Modeling
2002
Corpus ID: 17049907
This paper deals with the problem of handling semantic heterogeneity during schema integration. Semantics refer to the meaning of…
Expand
1999
1999
A formal ontology for re-use of software architecture documents
Chris Welty
,
D. Ferrucci
14th IEEE International Conference on Automated…
1999
Corpus ID: 30641752
Software architecture has been established as a viable level of representation for reuse in practical software engineering…
Expand
1997
1997
Axiomatic Formal Ontology
U. Meixner
1997
Corpus ID: 60386125
Preface. Introduction. I. The Ontology of States of Affairs. II. Ontology of Properties and Mereology. III. Full Ontology Limited…
Expand
1996
1996
Conceptual Realism as a Formal Ontology
N. Cocchiarella
1996
Corpus ID: 117336164
A formal ontology is both a theory of logical form and a metaphysical theory about the ontological structure of the world. What…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE