Semantic Web Research Group
[an error occurred while processing this directive]
[an error occurred while processing this directive]
ALCK Demo
Please enter the ontology you'd like to query. Note that
in order to use the K operator in the TBox you must
enter the ontology in the text area in the KRSS format.
Expressivity restrictions
- K operator can only be used in (ABox) query, or in the form of
an epistemic rule in the TBox.
- Epistemic rules are of the form: KC => D where C
and D are ALC concepts. In KRSS format:
(epistemic-rule (K C) D)
Basic KRSS
- (instance a C) makes individual a an instance
of a concept C
- (related R a b) relates individual a to
individual b via the role R
- For the rest of the syntax, see KRSS specification
[an error occurred while processing this directive]