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
|