Proof explanation for a nonmonotonic Semantic Web rules language.
Grigoris AntoniouAntonis BikakisNikos DimaresisManolis GenetzakisGiannis GeorgalisGuido GovernatoriEfie KarouzakiNikolaos KazepisDimitris KosmadakisManolis KritsotakisGiannis LilisAntonis PapadogiannakisPanagiotis PediaditisConstantinos TerzakisRena TheodosakiDimitris ZeginisPublished in: Data Knowl. Eng. (2008)
Keyphrases
- semantic web
- semantic web rule language
- rdf schema
- rule language
- owl dl
- knowledge representation
- semantic web technologies
- linked data
- ontology languages
- natural language
- knowledge management
- nonmonotonic reasoning
- semantic annotation
- semantic technologies
- semantic desktop
- production rules
- using semantic web technologies
- rdf data
- ontology matching
- current web
- interchange format
- artificial intelligence
- default reasoning
- default logic
- logic programming