Statements (48)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:philosophy
gptkb:knowledge_representation formal semantics |
| 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 description logic |
| https://www.w3.org/2000/01/rdf-schema#label |
Ontology (formal system)
|
| 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
|