Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

KAON2

Aus Aifbportal

Wechseln zu: Navigation, Suche

KAON2 OWL reasoner

Kontaktperson: k.A.

http://kaon2.semanticweb.org/



Projektstatus: abgeschlossen


Beschreibung

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


Informationen

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


Partner

AIFB


Forschungsgruppe

Wissensmanagement


Forschungsgebiet

LogikprogrammierungSemantic WebLogik Logikprogrammierung, Semantic Web, Logik





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






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

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
(Details)

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
(Details)

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
(Details)

↑ top

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

↑ top

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

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

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

↑ top


-->