KOReA

Aus Aifbportal

	KAON2 Reasoning for SWRL and Large ABoxes
	Kontaktperson: k.A. Projektstatus: abgeschlossen

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.

Sebastian Rudolph, Rudi Studer, Pascal Hitzler, Qiu Ji, Guilin Qi, Peter Haase

von: 1 August 2006
bis: 28 Februar 2007

Wissensmanagement

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

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