Tags / 5 quotes from 4 sources
#formal-ontology
Boro Method (wikipedia Contributors)
The BORO method takes an extensional approach to ontology development
The BORO method is a simple, repeatable process for developing formal ontologies. The method takes an extensional approach to ontology development. The advantage of BORO over other methods is that its grounding in physical reality means that, if followed to the letter, the…
Formal Ontology
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 (domain- and application-independent) view on reality, which can help the modeler of domain- or application-specific ontologies…
Applications of upper level ontologies
Formal ontology as a template to create novel specific domain ontologies Having a formal ontology at your disposal, especially when it consists of a Formal upper layer enriched with concrete domain-independent 'middle layer' concepts, can really aid the creation of a domain…
From Encyclopedia To Ontology: Toward Dynamic Representation Of The Discipline Of Philosophy
Computational ontology vs formal ontology
Our approach to representing the discipline derives from what computer and information scientists call “formal ontology.” However, we will avoid using this term because some researchers sensitive to Husserl’s distinction between “formal ontology” and “material ontology” prefer…
Ontologies And Knowledge Bases: Towards A Terminological Clarification
General ontology vs regional ontology
Aristotle defined Ontology as the science of being as such: unlike the special sciences, each of which investigates a class of beings and their determinations, Ontology regards “all the species of being qua being and the attributes which belong to it qua being” (Aristotle…