8000 GitHub - giacomociti/lib-rdfs: An rdfs component library
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

giacomociti/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

About

An rdfs component library

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages

  • Shell 86.7%
  • Makefile 13.3%
0