Stage-oe-small.jpg

KOReA/en

Aus Aifbportal
Wechseln zu:Navigation, Suche
Transparent.png

KAON2 Reasoning for SWRL and Large ABoxes

Contact: n.a.




Project Status: completed


Description

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


Information

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
article
 - inproceedings
 - book
 - incollection
 - booklet
 - proceedings
 - phdthesis
 - techreport
 - manual
 - misc
 - unpublished





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


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


↑ top