Aus Aifbportal
Wechseln zu:Navigation, Suche

KAON2 Reasoning for SWRL and Large ABoxes

Contact: n.a.

Project Status: completed


We investigate reasoning methods and systems for supporting semantic search on internet portals. The focus shall be on obtaining a balance between expressive reasoning and scalability for practical purposes. In particular, we will investigate the use of the Web Ontology Language OWL together with rule extensions, based on and the KAON2 system.

Involved Persons
Peter Haase, Sebastian Rudolph, Guilin Qi, Pascal Hitzler, Qiu Ji, Rudi Studer


from: 1 August 2006
until: 28 Februar 2007

Research Group

Web Science

Area of Research

Knowledge Representation And Reasoning, Knowledge Representation Languages, Logic, Artificial Intelligence, Semantic Web

Publications Belonging to the Project
 - inproceedings
 - book
 - incollection
 - booklet
 - proceedings
 - phdthesis
 - techreport
 - manual
 - misc
 - unpublished

Peter Haase, Pascal Hitzler, Qiu Ji, Guilin Qi, Rudi Studer
Scalable Expressive Reasoning with KAON2
AIFB, University of KarlsruheKOReA Deliverable, Februar, 2007

Peter Haase, Pascal Hitzler, Qiu Ji, Guilin Qi, Rudi Studer
Scalable Reasoning for Information Access
AIFB, University of KarlsruheKOReA Deliverable, November, 2006

↑ top