Skip to content

eyereasoner/lib-rdfs

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

7 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

lib-rdfs

Synopsis

@prefix : <https://example.org/ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:Alice :loves :Bob .

:loves rdfs:subPropertyOf :likes .
:likes 
    rdfs:domain :Person ;
    rdfs:range :Person .

:Person rdfs:subClassOf :Human .

entails

:Alice a :Person .
:Bob a :Person .
:Alice a :Human .
:Bob a :Human .
:Alice :likes :Bob .

Usage

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

eye --nope --quiet --pass lib-rdfs.n3 your-file.n3

Add the lib-rdfs.n3s to your RDF Surfaces project and run the eye reasoner. E.g.

eye --quiet --blogic lib-rdfs.n3s your-file.n3s

Vocabulary

Dependencies

NONE