|
Peer-to-peer reasoning for interlinked ontologies
Schlicht, Anne
;
Stuckenschmidt, Heiner
|
DOI:
|
https://doi.org/10.1142/S1793351X10000948
|
|
URL:
|
https://www.worldscientific.com/doi/abs/10.1142/S1...
|
|
Weitere URL:
|
https://www.researchgate.net/publication/220233227...
|
|
Dokumenttyp:
|
Zeitschriftenartikel
|
|
Erscheinungsjahr:
|
2010
|
|
Titel einer Zeitschrift oder einer Reihe:
|
International Journal of Semantic Computing : IJSC
|
|
Band/Volume:
|
4
|
|
Heft/Issue:
|
1
|
|
Seitenbereich:
|
27-58
|
|
Ort der Veröffentlichung:
|
Singapore [u.a.]
|
|
Verlag:
|
World Scientific
|
|
ISSN:
|
1793-351X , 1793-7108
|
|
Sprache der Veröffentlichung:
|
Englisch
|
|
Einrichtung:
|
Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Practical Computer Science II: Artificial Intelligence (Stuckenschmidt 2009-)
|
|
Fachgebiet:
|
004 Informatik
|
|
Freie Schlagwörter (Englisch):
|
Distributed Reasoning; Ontologies
|
|
Abstract:
|
The Semantic Web is commonly perceived as a web of partially-interlinked machine readable data.
This data is inherently distributed and resembles the structure of the web in terms of resources being provided by different parties at different physical locations. A number of infrastructures for storing and querying distributed semantic web data, primarily encoded in RDF have been developed. While
there are first attempts for integrating RDF Schema reasoning into distributed query processing, almost all the work on description logic reasoning as a basis for implementing inference in the Web Ontology Language OWL still assumes a centralized approach where the complete terminology has to be present on a single system and all inference steps are carried out on this system.We have designed and
implemented a distributed reasoning method that preserves soundness and completeness of reasoning under the original OWL import semantics and has beneficial properties regarding parallel computation and overhead caused by communication effort and additional derivations. The method is based on sound and complete resolution methods for the description logic ALC that we modify to work in a distributed setting.
|
 | Dieser Eintrag ist Teil der Universitätsbibliographie. |
 Suche Autoren in
Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail
Actions (login required)
 |
Eintrag anzeigen |
|
|
