Simple example of a question and its answer
Model the following situation with an ABox that define appropriate classes, properties, and instances.
Mrs Durant's bedroom is part of the house at 20 rue Montaigne. Mrs Durant owns the housen which is a building.
An answer could be:
House < Building isPartOf(mrsDurantBedroom, house20rueMontaigne) locatedAt(house20rueMontaigne, 20rueMontaigne) owns(mrsDurant, house20rueMontaigne) Bedroom(mrsDurantBedroom) House(house20rueMontaigne) Address(20rueMontaigne)
Terms must be non ambiguous for the exercise, but one can rely on systematic opaque identifiers, together with a special labelling property, as follows:
House < Building label(b1, "Mrs Durant's bedroom") label(h1, "house at 20 rue Montaigne") label(a1, "20 rue Montaigne") label(w1, "Mrs Durant") isPartOf(b1, h1) locatedAt(h1, a1) owns(w1, h1) Bedroom(b1) House(h1) Address(a1) Woman(w1)
In some cases, this option can reduce the size of the answer (and the time typing). It is also a way of providing multiple names or labels to the same entity, such as:
label(w1, "Mrs Durant") label(w1, "Monique Germaine Renée Durant, née Lefèvre")
Format of the answers
In the answer, each assertion must be alone on its own line. Terms (atomic concepts, roles, and individuals) must be a sequence of alphanumerical characters (letters or digits) or the character ‘_’, but must not be composed of only digits. In a role assertion, the second argument can be a number, denoted by its decimal representation: a sequence of digits, optionally followed by ‘.’ (a dot) and another sequence of digits; it can be a character string, written between double quotes; or it can be a typed literal whose syntax will be explained in the exercise. Concept inclusions A ⊑ B can be written A < B.