'Determine which constructs of RDFS and OWL can be expressed using monotonic rules

For example, the subclass relation is represented as c(X)→c(X) (c is a subclass of c).



Sources

This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.

Source: Stack Overflow

Solution Source