ONTOLORE: Unterschied zwischen den Versionen
K (Added from ontology) |
Sru (Diskussion | Beiträge) |
||
Zeile 4: | Zeile 4: | ||
|Name EN=Ontology Logic and Reasoning | |Name EN=Ontology Logic and Reasoning | ||
|Beschreibung DE=Die Repräsentation von Wissen im Semantic Web geschieht mit Hilfe von Ontologiesprachen, die auf logischen Formalismen beruhen. Das intelligente Management von Ontologien sowie deren Verarbeitung in Anwendungen basiert entsprechend auf automatisierten Verfahren zur logischen Deduktion über das repräsentierte Wissen. In OntoLoRe werden die dafür benötigten logischen Grundlagen untersucht, neue Formalismen zur Repräsentation von Wissen entwickelt und Algorithmen und Werkzeuge zur automatisierten Deduktion bereitgestellt. Von besonderer Wichtigkeit ist dabei, im Spannungsfeld zwischen Ausdruckstärke der Repräsentationssprache und Skalierbarkeit der Deduktionsalgorithmen ein für praktische Anwendungen geeignetes Gleichgewicht zu finden. | |Beschreibung DE=Die Repräsentation von Wissen im Semantic Web geschieht mit Hilfe von Ontologiesprachen, die auf logischen Formalismen beruhen. Das intelligente Management von Ontologien sowie deren Verarbeitung in Anwendungen basiert entsprechend auf automatisierten Verfahren zur logischen Deduktion über das repräsentierte Wissen. In OntoLoRe werden die dafür benötigten logischen Grundlagen untersucht, neue Formalismen zur Repräsentation von Wissen entwickelt und Algorithmen und Werkzeuge zur automatisierten Deduktion bereitgestellt. Von besonderer Wichtigkeit ist dabei, im Spannungsfeld zwischen Ausdruckstärke der Repräsentationssprache und Skalierbarkeit der Deduktionsalgorithmen ein für praktische Anwendungen geeignetes Gleichgewicht zu finden. | ||
− | |Beschreibung EN=OntoLoRe is the gateway to ontology-related research on logic and reasoning at | + | |Beschreibung EN=OntoLoRe is the gateway to ontology-related research on logic and reasoning at AIFB, University of Karlsruhe and FZI-IPE Karlsruhe, headed by Rudi Studer. |
− | AIFB, University of Karlsruhe and FZI-IPE Karlsruhe, | + | |Kontaktperson=Sebastian Rudolph |
− | headed by Rudi Studer. | ||
|URL=http://logic.aifb.uni-karlsruhe.de/ | |URL=http://logic.aifb.uni-karlsruhe.de/ | ||
− | |||
− | |||
− | |||
|Projektstatus=aktiv | |Projektstatus=aktiv | ||
− | | | + | |Logo=Ontolore.png |
− | |Person=Markus Krötzsch, Yue Ma, Sebastian Rudolph, Pascal Hitzler, Guilin Qi, Peter Haase, | + | |Person=Markus Krötzsch, Yue Ma, Sebastian Rudolph, Pascal Hitzler, Guilin Qi, Peter Haase, |
− | |Forschungsgruppe=Wissensmanagement | + | |Forschungsgruppe=Wissensmanagement |
− | |Forschungsgebiet=Wissensrepräsentationssprachen, Künstliche Intelligenz, Nichtmonotones Schließen, Deduktive Datenbanken, Fuzzy Logik, Ontologiemodellierung, Semantic Web, Wissensrepräsentation, Logik, | + | |Vorgängerprojekt= |
− | + | |Forschungsgebiet=Wissensrepräsentationssprachen, Künstliche Intelligenz, Nichtmonotones Schließen, Deduktive Datenbanken, Fuzzy Logik, Ontologiemodellierung, Semantic Web, Wissensrepräsentation, Logik, | |
}} | }} |
Version vom 4. Oktober 2009, 11:37 Uhr
Ontology Logic and Reasoning |
|
|
Die Repräsentation von Wissen im Semantic Web geschieht mit Hilfe von Ontologiesprachen, die auf logischen Formalismen beruhen. Das intelligente Management von Ontologien sowie deren Verarbeitung in Anwendungen basiert entsprechend auf automatisierten Verfahren zur logischen Deduktion über das repräsentierte Wissen. In OntoLoRe werden die dafür benötigten logischen Grundlagen untersucht, neue Formalismen zur Repräsentation von Wissen entwickelt und Algorithmen und Werkzeuge zur automatisierten Deduktion bereitgestellt. Von besonderer Wichtigkeit ist dabei, im Spannungsfeld zwischen Ausdruckstärke der Repräsentationssprache und Skalierbarkeit der Deduktionsalgorithmen ein für praktische Anwendungen geeignetes Gleichgewicht zu finden.
bis: k.A.
Wissensrepräsentationssprachen, Künstliche Intelligenz, Nichtmonotones Schließen, Deduktive Datenbanken, Fuzzy Logik, Ontologiemodellierung, Semantic Web, Wissensrepräsentation, Logik ONTOLORE (Wissensrepräsentation, Wissensrepräsentationssprachen, Ontologiemodellierung, Deduktive Datenbanken, Logik, Nichtmonotones Schließen, Fuzzy Logik, Künstliche Intelligenz, Semantic Web)