Home |  DEUTSCH |  Contact |  Imprint |  Data Protection |  Login |  KIT

KAON2/en

Aus Aifbportal

Wechseln zu: Navigation, Suche
Transparent.png

KAON2 OWL reasoner

Contact: n.a.

http://kaon2.semanticweb.org/


Project Status: completed


Description

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.


Involved Persons
Boris Motik


Information

n.a.
Predecessing Project: KAON


Partners

AIFB


Research Group

Web Science


Area of Research

Logic Programming, Semantic Web, Logic


Publications Belonging to the Project
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, pages: 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, pages: 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 number: 1390, Dezember, 2006
(Details)

↑ top

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

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)

↑ top