Logic Programming

Learning what OWL profiles is (OWL 2 RL in particular)

Just got to know there is something called "OWL (2) profiles", which basically seems to be certain sets of restrictions one can infer on what you can express, with the aim to make certain usage patterns possible.

OWL 2 RL seems particularly interesting for my concern, since it is (according to the above link) meant to be "a syntactic subset of OWL 2 which is amenable to implementation using rule-based technologies", and rule-based technologies is exactly what I'm looking at with SWI-Prolog and BLIPKIT.

Reading tip: Quick overview of Prolog and it's role in Semantic Web

I Just read this paper on using thea for OWL (Web Ontology Language) reasoning from within Prolog.

Description Logic vs Prolog

Pellet, the reasoning system already integrated in Bioclipse, is based on so called "Description Logics".