Statements (53)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb: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 |
gptkb:formal_semantics
individuals roles concepts decidable fragments |
| 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:OWL_reasoning
gptkb:OWL_Web_Ontology_Language |
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
Description Logic
|