/lib-owl

An owl component library

Primary LanguageShell

lib-owl

A collection of OWL rules translated into Notation3 and RDF Surfaces .

Synopsis

@prefix : <https://example.org/ns#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .

:Alice :hasParent :Mary .

:hasChild owl:inverseOf :hasParent .

entails

:Alice :hasParent :Mary .
:Mary :hasChild :Alice .

Usage

Add the lib-owl-rl.n3 to your N3 project and run the eye reasoner. E.g.

eye --nope --quiet --pass lib-owl-rl.n3 your-file.n3

Vocabulary

lib-owl-rl

An annotated version of all OWL-RL inference rules.

lib-owl-p

Ref. Tomaszuki, D. : Inference rules for OWL-P in N3Logic. Communication Papers of the Federated Conference on Computer Science and Information Systems (2018) DOI: 10.15439/2018F102

Inference rules for properties

Inference rules for classes

lib-owl-e

Inference rules for properties

Inference rules for classes

Dependencies

lib-rdfs