Stage-oe-small.jpg

Misc959: Unterschied zwischen den Versionen

Aus Aifbportal
Wechseln zu:Navigation, Suche
K (Added from ontology)
K (Added from ontology)
Zeile 1: Zeile 1:
{{Publikation Author
 
|Rank=6
 
|Author=Reto Krummenacher
 
}}
 
 
{{Publikation Author
 
{{Publikation Author
 
|Rank=8
 
|Rank=8
Zeile 8: Zeile 4:
 
}}
 
}}
 
{{Publikation Author
 
{{Publikation Author
|Rank=3
+
|Rank=9
|Author=Dieter Fensel
+
|Author=Rudi Studer
 
}}
 
}}
 
{{Publikation Author
 
{{Publikation Author
|Rank=2
+
|Rank=7
|Author=Jos de Bruijn
+
|Author=Holger Lausen
 
}}
 
}}
 
{{Publikation Author
 
{{Publikation Author
|Rank=7
+
|Rank=5
|Author=Holger Lausen
+
|Author=Michael Kifer
 
}}
 
}}
 
{{Publikation Author
 
{{Publikation Author
Zeile 24: Zeile 20:
 
}}
 
}}
 
{{Publikation Author
 
{{Publikation Author
|Rank=5
+
|Rank=1
|Author=Michael Kifer
+
|Author=Harold Boley
 +
}}
 +
{{Publikation Author
 +
|Rank=3
 +
|Author=Dieter Fensel
 
}}
 
}}
 
{{Publikation Author
 
{{Publikation Author
|Rank=1
+
|Rank=6
|Author=Harold Boley
+
|Author=Reto Krummenacher
 
}}
 
}}
 
{{Publikation Author
 
{{Publikation Author
|Rank=9
+
|Rank=2
|Author=Rudi Studer
+
|Author=Jos de Bruijn
 
}}
 
}}
 
{{Misc
 
{{Misc
Zeile 45: Zeile 45:
 
|VG Wort-Seiten=
 
|VG Wort-Seiten=
 
|Link=http://www.w3.org/Submission/WRL/
 
|Link=http://www.w3.org/Submission/WRL/
|Projekt=SmartWeb, KnowledgeWeb, SEKT,  
+
|Projekt=KnowledgeWeb, SEKT, SmartWeb,  
 
|Forschungsgruppe=
 
|Forschungsgruppe=
 +
}}
 +
{{Forschungsgebiet Auswahl
 +
|Forschungsgebiet=Ontologiemodellierung
 
}}
 
}}
 
{{Forschungsgebiet Auswahl
 
{{Forschungsgebiet Auswahl
Zeile 52: Zeile 55:
 
}}
 
}}
 
{{Forschungsgebiet Auswahl
 
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Logik
+
|Forschungsgebiet=Logikprogrammierung
 
}}
 
}}
 
{{Forschungsgebiet Auswahl
 
{{Forschungsgebiet Auswahl
Zeile 58: Zeile 61:
 
}}
 
}}
 
{{Forschungsgebiet Auswahl
 
{{Forschungsgebiet Auswahl
|Forschungsgebiet=Ontologiemodellierung
+
|Forschungsgebiet=Logik
}}
 
{{Forschungsgebiet Auswahl
 
|Forschungsgebiet=Logikprogrammierung
 
 
}}
 
}}

Version vom 15. August 2009, 15:36 Uhr


Web Rule Language (WRL)




Veröffentlichung: 2005 September
Art der Veröffentlichung: W3C Member Submission, 09 September 2005
BibTeX

Kurzfassung
The Web Rule Language WRL is a rule-based ontology language for the Semantic Web. The language is located in the Semantic Web stack next to the Description Logic based Ontology language OWL. WRL defines three variants, namely Core, Flight and Full. The Core variant marks the common fragment between WRL and OWL. WRL-Flight is a Datalog-based rule language. WRL-Full is a full-fledged rule language with function symbols and negation under the Well-Founded Semantics.

Weitere Informationen unter: Link

Projekt

KnowledgeWebSEKTSmartWeb



Forschungsgebiet

Wissensrepräsentationssprachen, Ontologiemodellierung, Logik, Logikprogrammierung, Semantic Web