semantic web - Why is owl:Restriction reasoning not working in Blazegraph? -

-

with following rdf in blazegraph (taken this answer):

:eats rdf:type owl:objectproperty .  :vegetable rdf:type owl:class ;        rdfs:subclassof owl:thing .  :vegetarian rdf:type owl:class ;         owl:equivalentclass [ rdf:type owl:restriction ;                               owl:onproperty :eats ;                               owl:somevaluesfrom :vegetable                             ] .  :carrot rdf:type :vegetable ,              owl:namedindividual .  :john rdf:type owl:namedindividual , owl:thing ;       :eats :carrot .

the following sparql returning blank:

select ?who  {   ?who :vegetarian .        }

here blazegraph namespace configs (blazegraph running nanosparqlserver command line):

com.bigdata.namespace.kb.spo.com.bigdata.btree.btree.branchingfactor    1024 com.bigdata.relation.container  test-ng-2 com.bigdata.journal.abstractjournal.buffermode  diskrw com.bigdata.journal.abstractjournal.file    bigdata.jnl com.bigdata.journal.abstractjournal.initialextent   209715200 com.bigdata.rdf.store.abstracttriplestore.vocabularyclass   com.bigdata.rdf.vocab.defaultbigdatavocabulary com.bigdata.rdf.store.abstracttriplestore.textindex false com.bigdata.btree.btree.branchingfactor 128 com.bigdata.namespace.kb.lex.com.bigdata.btree.btree.branchingfactor    400 com.bigdata.rdf.store.abstracttriplestore.axiomsclass   com.bigdata.rdf.axioms.owlaxioms com.bigdata.service.abstracttransactionservice.minreleaseage    1 com.bigdata.rdf.sail.truthmaintenance   true com.bigdata.journal.abstractjournal.maximumextent   209715200 com.bigdata.rdf.sail.namespace  test-ng-2 com.bigdata.relation.class  com.bigdata.rdf.store.localtriplestore com.bigdata.rdf.store.abstracttriplestore.quads false com.bigdata.relation.namespace  test-ng-2 com.bigdata.btree.writeretentionqueue.capacity  4000 com.bigdata.rdf.store.abstracttriplestore.statementidentifiers  true

what missing?

there rdf syntax issues, underlying reason blazegraph not support owl reasoning out of box. see current support. there has been work towards , elk reasoner.

regarding rdf in example, here's update validated load in blazegraph 1.5.1. incorporates feedbackup above , adds namespaces. created properties (test.properties) file properties above , loaded blazegraph executable jar sourceforge.

java -xmx2g -dbigdata.propertyfile=test.properties -jar bigdata-bundled.jar

go workbench: http://localhost:9999/bigdata/ , paste rdf below "update" tab on workbench selecting "rdf data" format "turtle". 

@prefix : <http://stackoverflow.com/> . @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . @prefix owl: <http://www.w3.org/2002/07/owl#> .  :eats rdf:type owl:objectproperty .  :vegetable rdf:type owl:class ;    rdfs:subclassof owl:thing .  :vegetarian rdf:type owl:class ;    owl:equivalentclass [ rdf:type owl:restriction ;                           owl:onproperty :eats ;                           owl:somevaluesfrom :vegetable                         ] .  :carrot rdf:type :vegetable ,          owl:namedindividual .  :carrot rdf:type owl:namedindividual , owl:thing, :carrot .  :john rdf:type owl:namedindividual , owl:thing ;           :eats :carrot .

if go query tab , run like:

select * { ?s ?p ?o }

you'll see of triples inferred owlaxiomsvocabulary.


Comments

Post a Comment

Popular posts from this blog

c++ - No viable overloaded operator for references a map -

-
i trying use map can make tag names reference number. when try , use it, in code error (6 in total every time reference map): src/main.cpp:25:45: error: no viable overloaded operator[] type 'std::map<std::string, std::string>' const char* idcs = node.child_value(tagmap[3]); this code: #include "pugi/pugixml.hpp" #include <iostream> #include <string> #include <map> int main() { pugi::xml_document doca, docb; std::map<std::string, pugi::xml_node> mapa, mapb; std::map<std::string, std::string> tagmap {{"1", "data"}, {"2", "entry"}, {"3", "id"}, {"4", "content"}}; if (!doca.load_file("a.xml") || !docb.load_file("b.xml")) { std::cout << "can't find input files"; return 1; } (auto& node: doca.child(tagmap[1]).children(tagmap[2])) { co
Read more

java - Custom OutputStreamAppender not run: LOGBACK: No context given for <MYAPPENDER> -

-
i wish write custom appender on basis of outputstreamappender . wrote following class package tests; import java.io.ioexception; import java.io.outputstream; import ch.qos.logback.core.outputstreamappender; public class myappender<e> extends outputstreamappender<e> { public myappender() { system.out.println("myappender created"); setoutputstream(new outputstream() { @override public void write(int b) throws ioexception { throw new unsupportedoperationexception(); } }); } } then wrote following runner: package tests; import org.slf4j.loggerfactory; import ch.qos.logback.classic.logger; public class runner { private static final logger log = (logger) loggerfactory.getlogger(runner.class); public static void main(string[] args) { //log.addappender(new myappender<iloggingevent>()); log.info("hello world"); } } finall
Read more

java - Cannot secure connection using TLS -

-
i'm trying establish secure socket connection between java client applet (built jdk 1.7.0_75-b13) , vc++ server application. as test vehicle, used vc++ client/server sample found in msdn forums, modified use schannel , able establish socket using cipher suite tls_rsa_with_aes_128_cbc_sha. works of tls 1.0/1.1/1.2. when try opening socket java applet same server application, connection rejected server reporting following: tls 1.0 acceptsecuritycontext failed: 0x80090327 tls 1.1 acceptsecuritycontext failed: 0x80090331 tls 1.2 acceptsecuritycontext failed: 0x80090331 this java code used create socket: debugprint("setting secure connection"); sslsocketfactory sslsocketfactory = (sslsocketfactory) sslsocketfactory.getdefault(); sslsocket sslsocket = (sslsocket) sslsocketfactory.createsocket("127.0.0.1", socketnumber); debugprint("starting handshake"); sslsocket.settcpnodelay(true); sslsocket.setsolinger(false, 0); sslsocket.s
Read more