Statements (59)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:software_framework
|
| gptkbp:bfsLayer |
4
|
| gptkbp:bfsParent |
gptkb:OWL_2
|
| gptkbp:allows |
Annotations
Class hierarchies Property hierarchies |
| gptkbp:based_on |
Description Logics
|
| gptkbp:designed_by |
gptkb:municipality
|
| gptkbp:developed_by |
gptkb:municipality
|
| gptkbp:has_feature |
Data types
Ontology reasoning Annotations on classes Annotations on properties Class expressions Disjoint classes Disjoint properties Equivalent classes Equivalent properties Functional properties Inverse properties Ontology documentation Ontology import Ontology merging Ontology querying Ontology validation Ontology versioning Ontology visualization Property expressions Symmetric properties Transitive properties |
| gptkbp:has_version |
gptkb:OWL_2_DL
gptkb:OWL_2_EL gptkb:OWL_2_Full gptkb:OWL_2_RL |
| https://www.w3.org/2000/01/rdf-schema#label |
OWL 2.0
|
| gptkbp:includes |
gptkb:OWL_2_DL
gptkb:OWL_2_EL gptkb:OWL_2_RL |
| gptkbp:is_compatible_with |
RDF
RDFS |
| gptkbp:is_implemented_in |
Various programming languages
|
| gptkbp:is_part_of |
Semantic Web stack
|
| gptkbp:is_related_to |
gptkb:Database_Management_System
gptkb:XML gptkb:CEO gptkb:file_format gptkb:JSON-LD |
| gptkbp:is_supported_by |
Reasoners
Ontology editors |
| gptkbp:is_used_for |
gptkb:Semantic_Web
|
| gptkbp:is_used_in |
gptkb:Artificial_Intelligence
Knowledge representation |
| gptkbp:provides |
Formal semantics
Ontology language features |
| gptkbp:released |
gptkb:2009
|
| gptkbp:successor |
gptkb:OWL_1.0
|
| gptkbp:supports |
Inference
Reasoning Description Logic |