Statements (52)
Predicate | Object |
---|---|
gptkbp:instanceOf |
family of formal knowledge representation languages
|
gptkbp:basisFor |
gptkb:Web_Ontology_Language_(OWL)
|
gptkbp:field |
gptkb:artificial_intelligence
computer science |
gptkbp:hasApplication |
gptkb:education_technology
gptkb:machine_learning gptkb:Internet_of_Things_(IoT) digital libraries e-commerce information retrieval natural language processing robotics software engineering bioinformatics medical informatics recommendation systems configuration management data integration data mining personal assistants linked data intelligent agents cyber-physical systems semantic search smart cities data validation smart manufacturing knowledge bases data interoperability legal informatics context-aware systems ontology alignment data annotation enterprise modeling |
gptkbp:hasFeature |
formal semantics
individuals roles concepts decidable fragments |
https://www.w3.org/2000/01/rdf-schema#label |
Description Logic
|
gptkbp:notableExample |
gptkb:ALC
gptkb:SHOIN gptkb:SHOIQ |
gptkbp:originatedIn |
1980s
|
gptkbp:relatedTo |
gptkb:Frame-based_systems
gptkb:First-order_logic gptkb:OWL |
gptkbp:usedFor |
semantic web
ontology modeling reasoning about concepts |
gptkbp:bfsParent |
gptkb:knowledge_representation
|
gptkbp:bfsLayer |
5
|