Supported OWLlink Features
Konclude accepts OWLlink requests using the OWL 2 XML serialization either via HTTP (cf. OWLlink HTTP/XML Binding) or via command line as input file. Currently, the following OWLlink commands are supported by Konclude:
Reasoner and KB Management
GetDescription
CreateKB
GetSettings
Set
ReleaseKB
Tell
LoadOntologies
Classify
Realize
Queries, KB Entities, and KB Status
GetAllObjectProperties
GetAllIndividuals
GetAllClasses
IsKBSatisfiable
GetKBLanguage
Queries about Classes and Individuals
IsClassSatisfiable
GetSubClasses
(for atomic concepts/named classes only)GetSuperClasses
(for atomic concepts/named classes only)GetEquivalentClasses
(for atomic concepts/named classes only)GetSubClassHierarchy
GetSameIndividuals
GetTypes
GetFlattenedTypes
GetInstances
(for atomic concepts/named classes only)GetFlattenedInstances
(for atomic concepts/named classes only)
Navigation
OWLlink Resources
- OWLlink Structural Specification
- OWLlink HTTP/XML Binding
- OWLlink. Journal Semantic Web, 2(1):23-32, 2011