Misc976
Aus Aifbportal
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
KAON2, SmartWeb, KnowledgeWeb, SEKT
Forschungsgebiet