Statements (57)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:philosopher
gptkb:software |
| gptkbp:bfsLayer |
4
|
| gptkbp:bfsParent |
gptkb:Apache_Jena_4.2.0
gptkb:Apache_Jena_4.3.0 gptkb:Apache_Jena_4.4.0 |
| gptkbp:analyzes |
entailments
|
| gptkbp:awarded_by |
class hierarchies
property hierarchies |
| gptkbp:can_be |
query answering
|
| gptkbp:can_be_extended_by |
custom rules
plugins |
| gptkbp:can_be_used_with |
RDF data
RDFS data |
| gptkbp:can_provide |
explanation of reasoning
|
| gptkbp:controls |
distributed reasoning
large ontologies |
| gptkbp:developed_by |
various organizations
|
| gptkbp:has_programs |
gptkb:Artificial_Intelligence
healthcare e-commerce bioinformatics |
| https://www.w3.org/2000/01/rdf-schema#label |
OWL reasoner
|
| gptkbp:integrates_with |
SPARQL queries
|
| gptkbp:is_accessible_by |
graphical user interfaces
command line tools AP Is |
| gptkbp:is_available_on |
gptkb:project
commercial software |
| gptkbp:is_compatible_with |
gptkb:OWL_2
gptkb:OWL_Lite OWLDL |
| gptkbp:is_evaluated_by |
performance metrics
benchmark tests |
| gptkbp:is_implemented_in |
gptkb:Java
gptkb:Prolog |
| gptkbp:is_influenced_by |
computational complexity theory
artificial intelligence research theoretical foundations of logic |
| gptkbp:is_part_of |
semantic web technologies
knowledge management systems semantic search engines |
| gptkbp:is_related_to |
gptkb:software_framework
data integration knowledge graphs ontology engineering |
| gptkbp:is_used_by |
gptkb:physicist
gptkb:software data scientists |
| gptkbp:is_used_for |
semantic web reasoning
|
| gptkbp:is_used_in |
knowledge representation
|
| gptkbp:provides |
inference capabilities
|
| gptkbp:recognizes |
inconsistencies
|
| gptkbp:supports |
automated reasoning
description logics OWL ontology manual reasoning |