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
