Home |  DEUTSCH |  Contact |  Imprint |  Login |  KIT

KOReA/en

Aus Aifbportal

Wechseln zu: Navigation, Suche

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
Sebastian Rudolph, Rudi Studer, Pascal Hitzler, Qiu Ji, Guilin Qi, Peter Haase


Information

from: 1 August 2006
until: 28 Februar 2007



Research Group

Web Science and Knowledge Management


Area of Research

Knowledge Representation And Reasoning, Knowledge Representation Languages, Künstliche Intelligenz, Semantic Web, Logic


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