Home |  ENGLISH |  Kontakt |  Impressum |  Anmelden |  KIT

Misc959

Aus Aifbportal

Wechseln zu: Navigation, Suche


Web Rule Language (WRL)


Harold Boley, Jos de Bruijn, Dieter FenselPascal Hitzler, Michael Kifer, Reto Krummenacher, Holger Lausen, Axel PolleresRudi Studer



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

SEKTSmartWebKnowledgeWeb



Forschungsgruppe

Wissensmanagement


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