Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Misc976

Aus Aifbportal

Wechseln zu: Navigation, Suche


The SCREECH OWL reasoner - Scalable approximate ABox reasoning for OWL




Veröffentlichung: 2005 Juli
Art der Veröffentlichung: ISWC2005 Software Demo Abstract
BibTeX

Kurzfassung
[[Abstract::We present a preliminary version of the approximate OWL reasoning system SCREECH. It builds on the KAON2 system and performs OWL ABox reasoning in an approximate manner. It trades soundness of reasoning for efficiency, with resulting polynomial worst-case data complexity. It has been developed for use in time-critical applications where quick response time is more important than a full guarantee of correctness of answers. The theoretical background for the system is explained in [Hitzler and Vrandecic, Proc. ISWC 2005].]]

Download: Media:2005_976_Hitzler_The_SCREECH_OWL_1.pdf

Projekt

SEKTKAON2SmartWebKnowledgeWeb



Forschungsgruppe

Wissensmanagement


Forschungsgebiet
Semantic Web