Navigation ▼

Show simple item record

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.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

Files in this item

This item appears in the following Collection(s)

Show simple item record