dc.contributor.advisor | May, Wolfgang Prof. Dr. | de |
dc.contributor.author | Schenk, Franz | de |
dc.date.accessioned | 2009-02-04T15:27:21Z | de |
dc.date.accessioned | 2013-01-18T13:20:54Z | de |
dc.date.available | 2013-01-30T23:50:54Z | de |
dc.date.issued | 2009-02-04 | de |
dc.identifier.uri | http://hdl.handle.net/11858/00-1735-0000-0006-B3B7-3 | de |
dc.identifier.uri | http://dx.doi.org/10.53846/goediss-2483 | |
dc.description.abstract | Das zentrale Thema dieser Arbeit ist Wissensmanagement im Semantic Web. Der Beitrag besteht im wesentlichen aus dem Entwurf, der Entwicklung und der logischen Charakterisierung einer Architektur für Anwendungsknoten im Semantic Web (abgekürzt SWAN). Die Kernkomponente der SWAN-Architektur besteht aus einer OWL Wissensbasis, welche durch ein hybrides automatisches Beweissystem ergänzt ist. Dieses hybride System kombiniert F-Logic mit Beschreibungslogik. Für Datenmanipulationen an der Wissensbasis ist eine wohl-definierte Semantik gegeben. Es ist möglich, intensionale Manipulationen hinsichtlich impliziten Wissens zu spezifizieren. Solche Manipulationen werden mit Hilfe eines Triggermechanismus umgesetzt. Dadurch, dass abstrakte Aktions-Definitionen auf konkrete Wissensbasis-Manipulationen umgesetzt werden können ist es möglich, den Anwendungsknoten direkt in eine Event-gesteuerte Semantic Web Umgebung, beispielsweise MARS, zu integrieren. Eine prototypische Implementierung dieser Architektur liegt vor, welche die Flexibilität und Anwendbarkeit der dargestellten Konzepte unter Beweis stellt. | de |
dc.format.mimetype | application/pdf | de |
dc.language.iso | eng | de |
dc.rights.uri | http://creativecommons.org/licenses/by-nd/2.0/de/ | de |
dc.title | An Active Domain Node Architecture for the Semantic Web | de |
dc.type | doctoralThesis | de |
dc.title.translated | Eine Knotenarchitektur mit aktivem Verhalten für das Semantic Web | de |
dc.contributor.referee | May, Wolfgang Prof. Dr. | de |
dc.date.examination | 2008-11-21 | de |
dc.subject.dnb | 004 Informatik | de |
dc.description.abstracteng | The scope of this work is knowledge management in the Semantic Web. Its contribution is the design, development, and characterisation of an application node architecture for the Semantic Web, called SWAN. The core of the SWAN architecture consists of an OWL knowledge base which is supplemented by a hybrid reasoning mechanism. Hybrid reasoning in SWAN combines F-Logic and Description Logic reasoning. Update operations for the manipulation of the knowledge base are provided with a well-defined semantics. Intensional updates are possible and allow to define updates with respect to implicit knowledge. A unique trigger mechanism is used for the completion of intensional updates, but also for the maintenance of knowledge base integrity. By its ability to process abstract action definitions, the application node can be integrated directly into the event-driven Semantic Web architecture MARS. A protoype of this architecture has been implemented, which shows the flexibility and applicability of its concepts. | de |
dc.contributor.coReferee | Henze, Nicola Prof. Dr. | de |
dc.subject.topic | Mathematics and Computer Science | de |
dc.subject.ger | Wissensmanagement | de |
dc.subject.ger | OWL | de |
dc.subject.ger | Semantic Web | de |
dc.subject.ger | Beschreibungslogik | de |
dc.subject.ger | Hybrides automatisches Beweisen | de |
dc.subject.eng | Semantic Web | de |
dc.subject.eng | Event-Driven Architecture | de |
dc.subject.eng | OWL | de |
dc.subject.eng | Active Knowledge Base | de |
dc.subject.eng | Intensional Updates | de |
dc.subject.eng | Hybrid Reasoning | de |
dc.subject.eng | Description Logic | de |
dc.subject.eng | F-Logic | de |
dc.subject.bk | 54.64 | de |
dc.subject.bk | 54.71 | de |
dc.subject.bk | 54.72 | de |
dc.identifier.urn | urn:nbn:de:gbv:7-webdoc-2019-3 | de |
dc.identifier.purl | webdoc-2019 | de |
dc.affiliation.institute | Fakultät für Mathematik und Informatik | de |
dc.subject.gokfull | AHH 320: Information Storage {Computing. Information Systems. Information Storage and Retrieval} | de |
dc.subject.gokfull | AHH 340: Systems and Software {Computing. Information Systems. Information Storage and Retrieval} | de |
dc.subject.gokfull | AHI 240: Knowledge Representation Formalisms and Methods {Computing Methodologies. Artificial Intelligence} | de |
dc.subject.gokfull | AHI 212: Distributed Artificial Intelligence {Computing Methodologies} | de |
dc.subject.gokfull | AHI 230: Deduction and Theorem Proving {Computing Methodologies. Artificial Intelligence} | de |
dc.identifier.ppn | 600979148 | de |