Aus Aifbportal
Wechseln zu:Navigation, Suche

KAON2 OWL reasoner

Kontaktperson: k.A.

Projektstatus: abgeschlossen


KAON2 is an infrastructure for managing OWL-DL and SWRL ontologies. KAON2 is a successor to the KAON project (often referred to as KAON1). The main difference to KAON1 is the supported ontology language: KAON1 used a proprietary extension of RDFS, whereas KAON2 is based on OWL-DL. Please note that KAON2 is a completely new system, and is not backward-compatible with KAON1.

Involvierte Personen
Boris Motik


bis: k.A.
Vorgängerprojekt(e): KAON






LogikprogrammierungSemantic WebLogik KAON2 (Logik, Logikprogrammierung, Semantic Web)

Publikationen zum Projekt
 - book
 - incollection
 - booklet
 - proceedings
 - phdthesis
 - deliverable
 - manual
 - misc
 - unpublished

Sudhir Agarwal, Anupriya Ankolekar
Automatic Matchmaking of Web Services (Poster)
Proceedings of The 15th International World Wide Web Conference, ACM, Edinburgh, Scotland, Mai, 2006

Pascal Hitzler, Jürgen Angele, Boris Motik, Rudi Studer
Bridging the Paradigm Gap with Rules for OWL
Proceedings of the W3C Workshop on Rule Languages for Interoperability, Washington, D.C., USAApril, 2005

Pascal Hitzler, Denny Vrandecic
Resolution-Based Approximate Reasoning for OWL DL
In Y. Gil et al., Proceedings of the 4th International Semantic Web Conference, Galway, Ireland, November 2005, Seiten: 383-397, Springer, Berlin, Lecture Notes in Computer Science, 3729, November, 2005

Peter Haase, Boris Motik
A Mapping System for the Integration of OWL-DL Ontologies
In Axel Hahn, Sven Abels, Liane Haak, IHIS 05: Proceedings of the first international workshop on Interoperability of heterogeneous information systems, Seiten: 9-16, ACM Press, November, 2005

↑ top

Yue Ma, Pascal Hitzler, Zuoquan Lin
Paraconsistent Reasoning with OWL - Algorithms and the ParOWL Reasoner
AIFB, University of Karlsruhe, Archiv Nummer 1390, Dezember, 2006

↑ top

Markus Krötzsch
Practical Reasoning with OWL and Rules
Invited talk at the Semantic Web Technology Showcase 2007, Vienna, Austria, Mai, 2007

Pascal Hitzler, Denny Vrandecic
The SCREECH OWL reasoner - Scalable approximate ABox reasoning for OWL
ISWC2005 Software Demo Abstract, Juli, 2005

Boris Motik, Denny Vrandecic, Pascal Hitzler, York Sure, Rudi Studer
dlpconvert - Converting OWL DLP statements to logic programs
Poster at the ESWC2005, Mai, 2005

↑ top