Dokument 1 - RWTH Aachen University

226 A Telos-Modelle
end
object : Integer
Class Query in ObjectType with
constraint
unionQuery :
$ forall q/Query
(q in ConjunctiveQuery) or (q in DisjunctiveQuery) $;
xorQuery :
$ forall q/ConjunctiveQuery not (q in DisjunctiveQuery) $
end
Class ConjunctiveQuery in ObjectType isA Query with
attribute,single,necessary
body : String
attribute
containsSyntactically : Conjunct
end
Class DisjunctiveQuery in ObjectType isA Query with
attribute,necessary
disjunct : ConjunctiveQuery
end
Class RewrittenQuery in ObjectType isA Query with
constraint
unionRewrittenQuery :
$ forall q/RewrittenQuery (q in RewrittenConjunctiveQuery) or
(q in RewrittenDisjunctiveQuery) $;
xorRewrittenQuery :
$ forall q/RewrittenConjunctiveQuery
not (q in RewrittenDisjunctiveQuery) $
end
Class RewrittenConjunctiveQuery in ObjectType
isA ConjunctiveQuery,RewrittenQuery with
constraint
onlyRelation&Correspondence :
$ forall r/RewrittenConjunctiveQuery c/Conjunct
(r containsSyntactically c) ==>
(c in Relation) or (c in Correspondence) $
end
Class RewrittenDisjunctiveQuery in ObjectType
isA DisjunctiveQuery,RewrittenQuery with
constraint
onlyRewrittenConjunctiveQuery:
$ forall r/RewrittenDisjunctiveQuery c/ConjunctiveQuery
(r disjunct c) ==> (c in RewrittenConjunctiveQuery) $
end
Class Conjunct in ObjectType isA LogicalObject with
constraint
unionConjunct :
$ forall c/Conjunct (c in Relation) or (c in ConceptRelationship)
or (c in Attrib_name) or (c in Correspondence) or (c in Domain) $;
xorConjunct1 :
$ forall c/Relation not (c in ConceptRelationship) and
not (c in Attrib_name) and not (c in Correspondence)
and not (c in Domain) $;
xorConjunct2 :
$ forall c/ConceptRelationship not(c in Attrib_name) and
not (c in Correspondence) and not (c in Domain) $;
xorConjunct3 :