Web Rule Language (WRL). Angele, J., Boley, H., de Bruijn, J., Fensel, D., Hitzler, P., Kifer, M., Krummenacher, R., Lausen, H., Polleres, A., & Studer, R. September, 2005. W3C member submission
Web Rule Language (WRL) [link]Paper  abstract   bibtex   
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.
@misc{ange-etal-2005,
	Abstract = {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.},
	Author = {J\"urgen Angele and Harold Boley and Jos de Bruijn and Dieter Fensel and Pascal Hitzler and Michael Kifer and Reto Krummenacher and Holger Lausen and Axel Polleres and Rudi Studer},
	Day = 9,
	Month = SEP,
	Note = {W3C member submission},
	Title = {{Web Rule Language (WRL)}},
	Url = {http://www.w3.org/Submission/WRL/},
	Year = 2005,
	Bdsk-Url-1 = {http://www.w3.org/Submission/WRL/}}

Downloads: 0