Version vom 15. August 2009, 11:41 Uhr

Description Logic Programs: Normal Forms

Published: 2007 September
Herausgeber: Pascal Hitzler, Thomas Roth-Berghofer and Sebastian Rudolph
Buchtitel: AInt-07, Foundations of Artificial Intelligence, Workshop at KI 2007
Ausgabe: 277
Reihe: CEUR Workshop Proceedings

Referierte Veröffentlichung

BibTeX

Kurzfassung
An intersection of OWL with (function-free non-disjunctive) Datalog, called DLP (for Description Logic Programs), has recently been described. We provide normal forms for DLP in Description Logic syntax and in Datalog syntax.

ISSN: 1613-0073
Download: Media:2007_768_Hitzler_Description Log_1.pdf,Media:2007_768_Hitzler_Description Log_2.pdf
Weitere Informationen unter: Link

Projekt

NeOn, SmartWeb, STI2, KnowledgeWeb, ReaSem

Forschungsgebiet

Wissensrepräsentationssprachen, Logikprogrammierung, Künstliche Intelligenz, Semantic Web

@@ Zeile 1: / Zeile 1: @@
+{{Publikation Author
+|Rank=1
+|Author=Pascal Hitzler
+}}
 {{Publikation Author
 |Rank=2
 |Author=Andreas Eberhart
-}}
-{{Publikation Author
-|Rank=1
-|Author=Pascal Hitzler
 }}
 {{Inproceedings
@@ Zeile 23: / Zeile 23: @@
 |Download=2007_768_Hitzler_Description Log_1.pdf, 2007_768_Hitzler_Description Log_2.pdf
 |Link=http://ceur-ws.org/Vol-277
-|Forschungsgebiet=Wissensrepräsentationssprachen, Logikprogrammierung, Semantic Web, Künstliche Intelligenz,
+|Projekt=NeOn, SmartWeb, STI2, KnowledgeWeb, ReaSem,
-|Projekt=SmartWeb, KnowledgeWeb, ReaSem, STI2, NeOn,
 |Forschungsgruppe=
+}}
+{{Forschungsgebiet Auswahl
+|Forschungsgebiet=Semantic Web
+}}
+{{Forschungsgebiet Auswahl
+|Forschungsgebiet=Wissensrepräsentationssprachen
+}}
+{{Forschungsgebiet Auswahl
+|Forschungsgebiet=Künstliche Intelligenz
+}}
+{{Forschungsgebiet Auswahl
+|Forschungsgebiet=Logikprogrammierung
 }}

Inproceedings768: Unterschied zwischen den Versionen

Version vom 15. August 2009, 11:41 Uhr

Description Logic Programs: Normal Forms

Description Logic Programs: Normal Forms