Ontologieframework - Informationssysteme im Bauwesen - page 95

Die separate Definition der Qualitäten durch Klassen anstelle von OWL Rollen dient
dazu, die Qualitäten in unterschiedlichen Ordnungssystemen weiter differenzieren und fle-
xibel um Zusatzinformationen ergänzen zu können.

4.3.2 Kernqualitäten von Modellen und Elementen

Um die Erschließung und Integration der Modellinhalte zu unterstützen, werden wich-
tige Modell- und Elementeigenschaften vereinheitlicht. Grundlage ist die Teilontologie
der Qualitäten, die zunächst allgemeine Eigenschaftsklassen definiert.
Definiert werden drei paarweise disjunkte Qualitätsklassen mit abstrakten Qualitäten
QA , objektbeschreibenden Qualitäten QO und temporalen Qualitäten QT , die auch als
Kernqualitäten bezeichnet werden. Sie beinhalten die in Teil I , Kap. 1 ,Gl. 1.1 - 1.6 einge-
führten Annotationen.

Q ≡ QA QO QT, ⊥≡ QA QO, ⊥≡ QA QT, ⊥≡ QO QT

(4.6)

Um die Qualitäten von Informationsressourcen weiter auswerten zu können, werden
weitere Rollen für Qualitäten eingeführt. Definiert werden die Rolle is Greater für die
ordinale Anordnung von abstrakten und objektbeschreibenden Qualitäten und die Rolle
isSuccessor für temporale Qualitäten. Die Rollen sind transitiv und invers zu den Rollen
isLesser und isPredecessor.

∀ isGreater.(QA) ≡ QA, ∀ isGreater.(QO) ≡ QO (4.7)

∀ isSuccessor.QT ≡ QT (4.8)

Tra(isGreater), Tra(isSuccessor) (4.9)

4.3.2.1 Identifikatoren und Typen
Voraussetzung für die Erschließung der Projektinformationen in der Modellbasis sind zu-
erst Qualitäten zur Identifikation und Typisierung von Informationsobjekten sowie zu ihrer
Urheberschaft und ihrem Erstellungszeitpunkt. Alle Modelle und Elemente in der Modell-
basis haben einen eindeutigen Identifikator und mindestens einen Typ.
Definiert sind die Qualitäten Identifikator QA _ UI und Typ QA _ Type sowie entspre-
chende Subtypen für Modelle, der Modellkennung QA _ MUI und Modeltyp QA _ MType ,
sowie für Elemente, der Elementkennung QA _ EUI , Elementtyp QA _ EType .

QA _ MUI QA _ EUI QA _ UI QA (4.10)

QA _ MType QA _ EType QA _ Type QA (4.11)

Model ≡= 1 hasURI.QA _ MUI ≤ 1 hasType.QA _ MType (4.12)

Element ≡= 1 hasURI.QA _ EUI ≤ 1 hasType.QA _ EType (4.13)