Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

KOReA

Aus Aifbportal

Wechseln zu: Navigation, Suche

KAON2 Reasoning for SWRL and Large ABoxes

Kontaktperson: k.A.





Projektstatus: abgeschlossen


Beschreibung

Wir untersuchen Methoden der automatischen Deduktion für die Unterstützung semantischer Suche auf Internetportalen. Der Schwerpunkt liegt auf Suche nach einem Gleichgewicht im Spannungsfeld zwischen Skalierbarkeit und Expressivität für die Praxis. Insbesondere untersuchen wir die Verwendung der Web Ontology Language OWL und entsprechender Regelerweiterungen.


Involvierte Personen
Sebastian RudolphRudi StuderPascal HitzlerQiu JiGuilin QiPeter Haase


Informationen

von: 1 August 2006
bis: 28 Februar 2007


Forschungsgruppe

Wissensmanagement


Forschungsgebiet

WissensrepräsentationWissensrepräsentationssprachen, Künstliche Intelligenz, Semantic WebLogik Wissensrepräsentation, Wissensrepräsentationssprachen, Künstliche Intelligenz, Semantic Web, Logik





Publikationen zum Projekt
article
 - inproceedings
 - book
 - incollection
 - booklet
 - proceedings
 - phdthesis
 - techreport
 - manual
 - misc
 - unpublished






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

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

↑ top


-->