|
gptkbp:instance_of
|
gptkb:owl
|
|
gptkbp:community_support
|
gptkb:Performance_Monitoring
gptkb:email_client
forums
|
|
gptkbp:developed_by
|
gptkb:University_of_Manchester
|
|
gptkbp:first_released
|
gptkb:2005
|
|
gptkbp:has_documentation
|
tutorials
API reference
user manual
installation guide
|
|
gptkbp:has_feature
|
conjunctive query answering
consistency checking
explanation generation
incremental reasoning
ontology classification
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Fa CT++
|
|
gptkbp:is_available_on
|
gptkb:Git_Hub
|
|
gptkbp:is_compatible_with
|
gptkb:OWL_API
gptkb:Jena
Protege
|
|
gptkbp:is_evaluated_by
|
academic papers
|
|
gptkbp:is_influenced_by
|
gptkb:AI_technology
Knowledge Representation research
Description Logic research
|
|
gptkbp:is_part_of
|
gptkb:open-source_software
AI tools
Semantic Web stack
Ontology reasoners
reasoning tools
|
|
gptkbp:is_promoted_by
|
tutorials
workshops
conferences
webinars
|
|
gptkbp:is_supported_by
|
community contributions
industry partnerships
academic funding
|
|
gptkbp:is_used_by
|
gptkb:developers
gptkb:researchers
|
|
gptkbp:is_used_for
|
data integration
semantic search
automated reasoning
knowledge management
|
|
gptkbp:language
|
gptkb:OWL
|
|
gptkbp:latest_version
|
3.5.0
|
|
gptkbp:license
|
gptkb:GNU_General_Public_License
|
|
gptkbp:performance
|
other reasoners
|
|
gptkbp:provides
|
inference services
|
|
gptkbp:supports
|
ABox reasoning
TBox reasoning
|
|
gptkbp:type
|
Description Logic
|
|
gptkbp:used_in
|
Semantic Web applications
|
|
gptkbp:written_in
|
gptkb:C++
|
|
gptkbp:bfsParent
|
gptkb:owl
|
|
gptkbp:bfsLayer
|
5
|