KOReA/en
Aus Aifbportal
KAON2 Reasoning for SWRL and Large ABoxes |
|
Contact: n.a. |
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
Information
from: 1 August 2006
until: 28 Februar 2007
Research Group
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 Karlsruhe, KOReA Deliverable, November, 2006
(Details)
Peter Haase, Pascal Hitzler, Qiu Ji, Guilin Qi, Rudi Studer
Scalable Expressive Reasoning with KAON2
AIFB, University of Karlsruhe, KOReA Deliverable, Februar, 2007
(Details)
↑ top