KOReA
Aus Aifbportal
KAON2 Reasoning for SWRL and Large ABoxes |
|
Kontaktperson: k.A. |
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
Informationen
von: 1 August 2006
bis: 28 Februar 2007
Forschungsgruppe
Forschungsgebiet
Wissensrepräsentation, Wissensrepräsentationssprachen, Künstliche Intelligenz, Semantic Web, Logik KOReA (Wissensrepräsentation, Wissensrepräsentationssprachen, Logik, Künstliche Intelligenz, Semantic Web)
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 Karlsruhe, KOReA Deliverable, Februar, 2007
(Details)
Peter Haase, Pascal Hitzler, Qiu Ji, Guilin Qi, Rudi Studer
Scalable Reasoning for Information Access
AIFB, University of Karlsruhe, KOReA Deliverable, November, 2006
(Details)
↑ top