OWL 2 DL

GPTKB entity

Statements (52)
Predicate Object
gptkbp:instance_of gptkb:software_framework
gptkbp:bfsLayer 4
gptkbp:bfsParent gptkb:OWL_2
gptkbp:allows Data Types
Class Hierarchies
Property Hierarchies
Cardinality Constraints
gptkbp:based_on Description Logics
gptkbp:developed_by gptkb:municipality
gptkbp:has_feature Complexity
Expressiveness
Decidability
gptkbp:has_programs gptkb:Educational_Institution
gptkb:archaeological_site
gptkb:shopping_mall
Digital Libraries
Healthcare
Biomedicine
Data Integration
Knowledge Management
Smart Cities
Social Networks
gptkbp:has_version gptkb:OWL_2
https://www.w3.org/2000/01/rdf-schema#label OWL 2 DL
gptkbp:is_a Description Logic
gptkbp:is_compatible_with RDF
RDFS
gptkbp:is_implemented_in gptkb:Protégé
gptkb:Top_Braid_Composer
gptkb:park
OWLAPI
gptkbp:is_part_of gptkb:Semantic_Web
OWL Family
gptkbp:is_related_to gptkb:software_framework
Inference
Knowledge Graphs
Modeling Languages
Reasoning
Semantic Web Standards
gptkbp:is_supported_by gptkb:CEO
Ontology Editors
Reasoners
gptkbp:is_used_by gptkb:physicist
gptkb:Librarians
gptkb:software
Data Scientists
gptkbp:is_used_for Knowledge Representation
gptkbp:is_used_in gptkb:Artificial_Intelligence
gptkb:software
Information Retrieval
gptkbp:provides Formal Semantics
gptkbp:supports Ontology Modeling