KAON - Towards a Large Scale Semantic Web
EC-WEB '02 Proceedings of the Third International Conference on E-Commerce and Web Technologies
The evolution of Protégé: an environment for knowledge-based systems development
International Journal of Human-Computer Studies
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
Deciding expressive description logics in the framework of resolution
Information and Computation
An RDF Query Language based on Logic Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
Querying xml documents in logic programming*
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Minimal Deductive Systems for RDF
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Rules and Ontologies for the Semantic Web
Reasoning Web
SAOR: Authoritative Reasoning for the Web
ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Prolog Based Description Logic Reasoning
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
An Encoding of XQuery in Prolog
XSym '09 Proceedings of the 6th International XML Database Symposium on Database and XML Technologies
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
OWL RL in logic programming: querying, reasoning and inconsistency explanations
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
| Hi-index | 0.00 |
In this paper we describe the development of a Prolog library for OWL RL. OWL RL has been recently proposed by the W3C consortium as a fragment of OWL 2 for which reasoning can be done efficiently. In this context, we have studied how to implement a Prolog library based on OWL RL. By means of Prolog rules we are able to infer new knowledge from a given ontology. The OWL RL library has been implemented under the SWI-Prolog interpreter and is based on the RDF library provided by the SWI-Prolog environment, in such a way that OWL triples are computed and stored in secondary memory.