formal ontology

GPTKB entity

Statements (29)
Predicate Object
gptkbp:instanceOf gptkb:dictionary
gptkb:philosophy
gptkbp:aimsTo enable interoperability of data
provide rigorous definitions
gptkbp:appliesTo computer science
linguistics
biomedical informatics
gptkbp:contrastsWith material ontology
gptkbp:field gptkb:philosophy
information science
gptkbp:focusesOn axiomatization of concepts
formalization of ontological categories
https://www.w3.org/2000/01/rdf-schema#label formal ontology
gptkbp:notableFigure gptkb:Edmund_Husserl
gptkb:Barry_Smith
gptkb:Nicola_Guarino
gptkbp:relatedTo gptkb:logic
gptkb:knowledge_representation
metaphysics
gptkbp:studies structure of reality
categories of being
relations between entities
gptkbp:usedIn gptkb:artificial_intelligence
semantic web
database theory
gptkbp:bfsParent gptkb:Mereology
gptkb:Basic_Formal_Ontology
gptkb:Suggested_Upper_Merged_Ontology
gptkbp:bfsLayer 6