Visualisierung und Validierung von PAL-Constraints in Protégé

Josef Schwaighofer

Visualisierung und Validierung von PAL-Constraints in Protégé

Translated title of the contribution: Visualisation and Validation of PAL-Constraints in Protégé

Josef Schwaighofer

Institute of Business Informatics - Data & Knowledge Engineering

Research output: Thesis › Master's / Diploma thesis

Abstract

Several web modeling languages, as for example WebML [CeFrBo00] (Web Modeling Language), OOHDM [ScRoBa95] (Object Oriented Hypermedia Design Method) and others [GaPaSc91] [Ja94], support only partial verification of their models with the help of constraints. WebRatio [We08] implementing the WebML, checks for example if all websites are accessible from the homepage. However, WebRatio doesnt allow for an extension of the constraint. To overcome this limitation, a former diploma thesis [Gr04] attempted to transform models created by WebRatio into an ontology in order to be able to formulate constraints upon this ontology. As a result, it is possible to check arbitrary user defined restrictions, e.g. it can be checked if a page exists or not. Protégé was used [Pro08] as editor for the ontology and the constraints were formulated in the Protégé Axiom Language (PAL) [Pa08]. Due to the growing number of PAL-constraints, it is difficult to recognise interdependencies among them. Conflicts (see also [LeTrWi02]), in particular inconsistent and redundant restrictions, may occur. Therefore it is desirable to support the user in finding and eliminating conflicts. On the basis of already existing approaches, used in the predicate logic (negation normal form, prenex normal form, clause normal form, resolution) [cf. Be06] [Ma00], an approach is developed to discover inconsistencies and redundant PAL-constraints. The approach is validated with the help of a prototype. For a simpler handling of PALConstraints, the prototype is extended by a visualisation component. As a result, users can identify Pal-expressions and their dependencies a lot easier.

Translated title of the contribution	Visualisation and Validation of PAL-Constraints in Protégé
Original language	German (Austria)
Supervisors/Reviewers	Schrefl, Michael, Supervisor Eichinger, Christian, Co-supervisor
Publication status	Published - Jun 2009

Fields of science

102 Computer Sciences
102015 Information systems

Cite this

@mastersthesis{0c889bbe8bae41e4a7d5e9d2bf536db8,

title = "Visualisierung und Validierung von PAL-Constraints in Prot{\'e}g{\'e}",

abstract = "Eine Reihe von Web-Modellierungssprachen, wie zum Beispiel WebML [CeFrBo00] (Web Modeling Language) und andere (siehe dazu [ScRoBa95] [GaPaSc91] [Ja94]), unterst{\"u}tzen die {\"U}berpr{\"u}fung ihrer Modelle mit Hilfe von Constraints nur eingeschr{\"a}nkt. WebRatio, ein Modellierungswerkzeug [We08] f{\"u}r die Modellierungssprache WebML {\"u}berpr{\"u}ft zum Beispiel f{\"u}r Hypertextmodelle die Erreichbarkeit aller Web-Seiten ausgehend von der Startseite. Allerdings erlaubt WebRatio keine Erweiterung der Constraints. In einer fr{\"u}heren Diplomarbeit [Gr04] wurde daher der Versuch unternommen, WebML-Anwendungsmodelle, welche mit dem Werkzeug WebRatio formuliert sind, in eine Ontologie zu transferieren und darauf Constraints zu formulieren. Es k{\"o}nnen damit beliebige Einschr{\"a}nkungen, wie zum Beispiel die Existenz bestimmter Seiten, {\"u}berpr{\"u}ft werden. Als Ontologie-Editor wurde Prot{\'e}g{\'e} [Pro08] verwendet. Die Constraints wurden in der Prot{\'e}g{\'e} Axiom Language(PAL) [Pa08] formuliert. Durch die steigende Anzahl der verwendeten PAL-Constraints werden allerdings Wechselwirkungen zwischen diesen PAL-Constraints schwer erkennbar. Konflikte (vgl. [LeTrWi02]), wie z.B.: Widerspr{\"u}che zwischen PAL-Constraints oder das mehrmalige Formulieren von gleichen Einschr{\"a}nkungen oder andere, k{\"o}nnen daraus resultieren. Eine Unterst{\"u}tzung des Anwenders bei der Erkennung und Behebung von Konflikten w{\"a}re daher w{\"u}nschenswert. Basierend auf vorhandenen Ans{\"a}tzen in der Pr{\"a}dikatenlogik, der Resolution und in Folge auch der Negationsnormalform, Pr{\"a}nex-Normalform, Klausel-Normalform, etc. (vgl. [Be06] [Ma00]) wird in dieser Arbeit daher ein Konzept zur Erkennung von Inkonsistenz und redundanter Constraints entwickelt. Das Konzept wird mit einem Prototyp umgesetzt und {\"u}berpr{\"u}ft. Zur einfacheren Bearbeitung von PAL-Constraints wird der Prototyp um eine geeignete Visualisierungskomponente erweitert. Damit kann der Benutzer die PALAusdr{\"u}cke und deren Beziehungen leichter erkennen.",

author = "Josef Schwaighofer",

year = "2009",

month = jun,

language = "Deutsch ({\"O}sterreich)",

}

TY - THES

T1 - Visualisierung und Validierung von PAL-Constraints in Protégé

AU - Schwaighofer, Josef

PY - 2009/6

Y1 - 2009/6

N2 - Eine Reihe von Web-Modellierungssprachen, wie zum Beispiel WebML [CeFrBo00] (Web Modeling Language) und andere (siehe dazu [ScRoBa95] [GaPaSc91] [Ja94]), unterstützen die Überprüfung ihrer Modelle mit Hilfe von Constraints nur eingeschränkt. WebRatio, ein Modellierungswerkzeug [We08] für die Modellierungssprache WebML überprüft zum Beispiel für Hypertextmodelle die Erreichbarkeit aller Web-Seiten ausgehend von der Startseite. Allerdings erlaubt WebRatio keine Erweiterung der Constraints. In einer früheren Diplomarbeit [Gr04] wurde daher der Versuch unternommen, WebML-Anwendungsmodelle, welche mit dem Werkzeug WebRatio formuliert sind, in eine Ontologie zu transferieren und darauf Constraints zu formulieren. Es können damit beliebige Einschränkungen, wie zum Beispiel die Existenz bestimmter Seiten, überprüft werden. Als Ontologie-Editor wurde Protégé [Pro08] verwendet. Die Constraints wurden in der Protégé Axiom Language(PAL) [Pa08] formuliert. Durch die steigende Anzahl der verwendeten PAL-Constraints werden allerdings Wechselwirkungen zwischen diesen PAL-Constraints schwer erkennbar. Konflikte (vgl. [LeTrWi02]), wie z.B.: Widersprüche zwischen PAL-Constraints oder das mehrmalige Formulieren von gleichen Einschränkungen oder andere, können daraus resultieren. Eine Unterstützung des Anwenders bei der Erkennung und Behebung von Konflikten wäre daher wünschenswert. Basierend auf vorhandenen Ansätzen in der Prädikatenlogik, der Resolution und in Folge auch der Negationsnormalform, Pränex-Normalform, Klausel-Normalform, etc. (vgl. [Be06] [Ma00]) wird in dieser Arbeit daher ein Konzept zur Erkennung von Inkonsistenz und redundanter Constraints entwickelt. Das Konzept wird mit einem Prototyp umgesetzt und überprüft. Zur einfacheren Bearbeitung von PAL-Constraints wird der Prototyp um eine geeignete Visualisierungskomponente erweitert. Damit kann der Benutzer die PALAusdrücke und deren Beziehungen leichter erkennen.

AB - Eine Reihe von Web-Modellierungssprachen, wie zum Beispiel WebML [CeFrBo00] (Web Modeling Language) und andere (siehe dazu [ScRoBa95] [GaPaSc91] [Ja94]), unterstützen die Überprüfung ihrer Modelle mit Hilfe von Constraints nur eingeschränkt. WebRatio, ein Modellierungswerkzeug [We08] für die Modellierungssprache WebML überprüft zum Beispiel für Hypertextmodelle die Erreichbarkeit aller Web-Seiten ausgehend von der Startseite. Allerdings erlaubt WebRatio keine Erweiterung der Constraints. In einer früheren Diplomarbeit [Gr04] wurde daher der Versuch unternommen, WebML-Anwendungsmodelle, welche mit dem Werkzeug WebRatio formuliert sind, in eine Ontologie zu transferieren und darauf Constraints zu formulieren. Es können damit beliebige Einschränkungen, wie zum Beispiel die Existenz bestimmter Seiten, überprüft werden. Als Ontologie-Editor wurde Protégé [Pro08] verwendet. Die Constraints wurden in der Protégé Axiom Language(PAL) [Pa08] formuliert. Durch die steigende Anzahl der verwendeten PAL-Constraints werden allerdings Wechselwirkungen zwischen diesen PAL-Constraints schwer erkennbar. Konflikte (vgl. [LeTrWi02]), wie z.B.: Widersprüche zwischen PAL-Constraints oder das mehrmalige Formulieren von gleichen Einschränkungen oder andere, können daraus resultieren. Eine Unterstützung des Anwenders bei der Erkennung und Behebung von Konflikten wäre daher wünschenswert. Basierend auf vorhandenen Ansätzen in der Prädikatenlogik, der Resolution und in Folge auch der Negationsnormalform, Pränex-Normalform, Klausel-Normalform, etc. (vgl. [Be06] [Ma00]) wird in dieser Arbeit daher ein Konzept zur Erkennung von Inkonsistenz und redundanter Constraints entwickelt. Das Konzept wird mit einem Prototyp umgesetzt und überprüft. Zur einfacheren Bearbeitung von PAL-Constraints wird der Prototyp um eine geeignete Visualisierungskomponente erweitert. Damit kann der Benutzer die PALAusdrücke und deren Beziehungen leichter erkennen.

UR - http://www.dke.jku.at/index.html?/research/index.html

M3 - Master-/Diplomarbeit

ER -

Visualisierung und Validierung von PAL-Constraints in Protégé

Abstract

Fields of science

Other files and links

Cite this