Description Logic

GPTKB entity

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