On 12/22/16 9:38 AM, Jerven Tjalling Bolleman wrote: > Dear Virtuoso Developers and other users. > > > I have a question on inference. > > In the UniProt sparql endpoint there are 1,018,511,122 reification > quads. > > e.g. > > [] a rdf:Statement ; > rdf:subject ?subject ; > rdf:predicate ?predicate ; > rdf:object ?object . > > Now the data modeling is what is so assume its invariant. > Can we use virtuoso inferencing to infer the existence of the predicate > > [] a rdf:Statement > > given the matching statement . > > [] rdf:subject ?subject . > > i.e. infer the class relation ship from the rdf:subject predicate? > > If this is possible. How do we turn it on? > > Regards, > Jerven > > -- Jerven Tjalling Bolleman SIB | Swiss Institute of Bioinformatics > CMU - 1, rue Michel Servet - 1211 Geneva 4 t: +41 22 379 58 85 - f: > +41 22 379 58 58 Jerven.Bolleman@sib.swiss - http://www.sib.swiss
Hi Jerven,
This is a Custom Inference feature which is part of Virtuoso 8.0
Commercial Edition (currently undergoing final release QA).
Using SPIN notation for rule declaration , it would be something along
the lines of:
rdf:Statement
a owl:Class ;
spin:rule
[ a sp:Construct ;
sp:text """
CONSTRUCT { ?s a rdf:Statement . }
WHERE {?s rdf:subject ?o}
"""
] ;
--
Regards,
Kingsley Idehen
Founder & CEO
OpenLink Software (Home Page: http://www.openlinksw.com)
Weblogs (Blogs):
Legacy Blog: http://www.openlinksw.com/blog/~kidehen/
Blogspot Blog: http://kidehen.blogspot.com
Medium Blog: https://medium.com/@kidehen
Profile Pages:
Pinterest: https://www.pinterest.com/kidehen/
Quora: https://www.quora.com/profile/Kingsley-Uyi-Idehen
Twitter: https://twitter.com/kidehen
Google+: https://plus.google.com/+KingsleyIdehen/about
LinkedIn: http://www.linkedin.com/in/kidehen
Web Identities (WebID):
Personal: http://kingsley.idehen.net/dataspace/person/kidehen#this
:
http://id.myopenlink.net/DAV/home/KingsleyUyiIdehen/Public/kingsley.ttl#this
smime.p7s
Description: S/MIME Cryptographic Signature
------------------------------------------------------------------------------ Developer Access Program for Intel Xeon Phi Processors Access to Intel Xeon Phi processor-based developer platforms. With one year of Intel Parallel Studio XE. Training and support from Colfax. Order your platform today.http://sdm.link/intel
_______________________________________________ Virtuoso-users mailing list Virtuoso-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/virtuoso-users
