|
gptkbp:instanceOf
|
gptkb:formal_semantics
gptkb:philosophy
gptkb:knowledge_representation
|
|
gptkbp:component
|
classes
individuals
attributes
axioms
constraints
instances
relations
|
|
gptkbp:definedIn
|
set of concepts
set of relationships
|
|
gptkbp:describes
|
properties of entities
relationships between entities
types of entities
|
|
gptkbp:enables
|
knowledge sharing
reasoning
data integration
|
|
gptkbp:example
|
gptkb:WordNet
gptkb:Gene_Ontology
gptkb:DOLCE
gptkb:SUMO
|
|
gptkbp:formedBy
|
gptkb:logic
gptkb:first-order_logic
gptkb:description_logic
|
|
gptkbp:originatedIn
|
gptkb:philosophy
20th century
|
|
gptkbp:purpose
|
to enable interoperability
to facilitate data exchange
to model a domain
to support automated reasoning
|
|
gptkbp:relatedTo
|
gptkb:dictionary
gptkb:philosophy
metaphysics
|
|
gptkbp:standardizedBy
|
gptkb:RDF
gptkb:SKOS
gptkb:OWL
|
|
gptkbp:subspecies
|
gptkb:dictionary
application ontology
domain ontology
task ontology
|
|
gptkbp:usedIn
|
gptkb:artificial_intelligence
computer science
information science
semantic web
|
|
gptkbp:bfsParent
|
gptkb:Stanisław_Leśniewski
|
|
gptkbp:bfsLayer
|
5
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Ontology (formal system)
|