Statements (54)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:family_of_formal_knowledge_representation_languages
|
| gptkbp:basisFor |
gptkb:OWL_DL
gptkb:OWL_2 ontology languages |
| gptkbp:developedBy |
1980s
|
| gptkbp:hasApplication |
gptkb:education_technology
digital libraries e-commerce knowledge management natural language processing robotics software engineering bioinformatics medical informatics recommendation systems data integration data modeling database theory access control web services intelligent agents enterprise information systems cyber-physical systems semantic search information integration smart cities legal informatics context-aware systems ontology-based data access configuration systems |
| gptkbp:hasFeature |
individuals
roles concepts |
| gptkbp:hasSubgroup |
gptkb:ALC
gptkb:SHOIN gptkb:SHOIQ |
| gptkbp:originatedIn |
KL-ONE
|
| gptkbp:relatedTo |
gptkb:RDF
gptkb:first-order_logic gptkb:OWL frame-based systems |
| gptkbp:supports |
gptkb:dictionary
reasoning consistency checking instance checking subsumption |
| gptkbp:usedIn |
gptkb:artificial_intelligence
gptkb:knowledge_representation semantic web ontology modeling |
| gptkbp:bfsParent |
gptkb:Bijan_Parsia
gptkb:FaCT++ |
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Description Logics
|