You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@jena.apache.org by GitBox <gi...@apache.org> on 2022/07/07 07:29:17 UTC
[GitHub] [jena] violetcyl opened a new issue, #1431: OWLFBRuleReasoner do not work
violetcyl opened a new issue, #1431:
URL: https://github.com/apache/jena/issues/1431
### Version
apache-jena-fuseki-4.5.0,apache-jena-4.5.0
### Question
I want to use jena OWLFBRuleReasoner for rule reasoning，but if fails.
I can get query results but no inference results with OWLFBRuleReasoner. I confirm ontology.ttl is correct, because I can get inference results by using protege.
If I customize the rules with GenericRuleReasoner ,I can get inference results.
I can't figure out it，could you help ？
Fuseki_conf.ttl
@prefix : <http://base/#> .
@prefix tdb: <http://jena.hpl.hp.com/2008/tdb#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ja: <http://jena.hpl.hp.com/2005/11/Assembler#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix fuseki: <http://jena.apache.org/fuseki#> .
:service1 a fuseki:Service ;
fuseki:dataset <#dataset> ;
fuseki:name "privilegeGuide" ;
fuseki:serviceQuery "query" , "sparql" ;
fuseki:serviceReadGraphStore "get" ;
fuseki:serviceReadWriteGraphStore "data" ;
fuseki:serviceUpdate "update" ;
fuseki:serviceUpload "upload" .
<#dataset> rdf:type ja:RDFDataset ;
ja:defaultGraph <#model_inf> ;
.
<#model_inf> a ja:InfModel ;
ja:baseModel <#tdbGraph> ;
#本体文件的路径
ja:content [ja:externalContent <file://Users/Jena_Fuseki/apache-jena-fuseki-4.5.0/run/databases/ontology.ttl > ] ;
#启用OWL推理机
ja:reasoner [
ja:reasonerURL <http://jena.hpl.hp.com/2003/OWLFBRuleReasoner>
]; .
<#tdbGraph> rdf:type tdb:GraphTDB ;
tdb:dataset <#tdbDataset> ;
.
<#tdbDataset> rdf:type tdb:DatasetTDB ;
tdb:location "../apache-jena-4.5.0/tdb" ;
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For additional commands, e-mail: issues-help@jena.apache.org
[GitHub] [jena] natebowang commented on issue #1431: OWLFBRuleReasoner do not work
Posted by GitBox <gi...@apache.org>.
natebowang commented on issue #1431:
URL: https://github.com/apache/jena/issues/1431#issuecomment-1196098664
Yes, my configuration is exactly like that. You can replace my ontology with yours in my [project](https://github.com/site-bender/ontology-dev-server) to see if it works.
[Here is the configuration I copied](https://github.com/site-bender/ontology-dev-server/blob/main/.devcontainer/configTdb2Mem.ttl)
[Here is my tiny ontology](https://github.com/site-bender/ontology-dev-server/blob/main/src/main.ttl)
@afs, I don't have named graphs there yet.
@violetcyl Could you upload a sample of your ontology that doesn't work?
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For additional commands, e-mail: issues-help@jena.apache.org
[GitHub] [jena] afs commented on issue #1431: OWLFBRuleReasoner do not work
Posted by GitBox <gi...@apache.org>.
afs commented on issue #1431:
URL: https://github.com/apache/jena/issues/1431#issuecomment-1196422505
Sorry - my bad - my reply was to @violetcyl.
It isn't clear to me what "do not work" means so start from something that works and change it.
It is only going to see the default graph - unless `tdb2:unionDefaultGraph true` is used.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For additional commands, e-mail: issues-help@jena.apache.org
[GitHub] [jena] violetcyl commented on issue #1431: OWLFBRuleReasoner do not work
Posted by GitBox <gi...@apache.org>.
violetcyl commented on issue #1431:
URL: https://github.com/apache/jena/issues/1431#issuecomment-1198960996
> Yes, my configuration is exactly like that. You can replace my ontology with yours in my [ontology-dev-server project](https://github.com/site-bender/ontology-dev-server) to see if it works. [Here is the configuration I copied](https://github.com/site-bender/ontology-dev-server/blob/main/.devcontainer/configTdb2Mem.ttl) [Here is my tiny ontology](https://github.com/site-bender/ontology-dev-server/blob/main/src/main.ttl)
>
> @afs, I don't have named graphs there yet. @violetcyl Could you upload a sample of your ontology that doesn't work?
thanks，
your files with my config ,it works.
Maybe my ontology uses a feature not covered.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For additional commands, e-mail: issues-help@jena.apache.org
[GitHub] [jena] violetcyl commented on issue #1431: OWLFBRuleReasoner do not work
Posted by GitBox <gi...@apache.org>.
violetcyl commented on issue #1431:
URL: https://github.com/apache/jena/issues/1431#issuecomment-1198823077
> Sorry - my bad - my reply was to @violetcyl.
>
> It isn't clear to me what "do not work" means so start from something that works and change it.
>
> It is only going to see the default graph - unless `tdb2:unionDefaultGraph true` is used.
thanks for you answer.
I prefer to believe "Jena does not cover all of OWL-DL. Maybe your ontology uses a feature not covered."
Anyway,I will email the author.If he replies to me, I will share the answer.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For additional commands, e-mail: issues-help@jena.apache.org
[GitHub] [jena] natebowang commented on issue #1431: OWLFBRuleReasoner do not work
Posted by GitBox <gi...@apache.org>.
natebowang commented on issue #1431:
URL: https://github.com/apache/jena/issues/1431#issuecomment-1177324543
Not sure if this is the case. But someone [mentioned `ja:content` doesn't go with presistent db](https://stackoverflow.com/a/65225260/6943364).
My config looks like yours except for the `ja:content` part, and it works:
```ttl
# Licensed under the terms of http://www.apache.org/licenses/LICENSE-2.0
PREFIX : <https://github.com/site-bender#>
PREFIX fuseki: <http://jena.apache.org/fuseki#>
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX tdb2: <http://jena.apache.org/2016/tdb#>
PREFIX ja: <http://jena.hpl.hp.com/2005/11/Assembler#>
## ---------------------------------------------------------------
## Updatable TDB2 dataset im-memory with all services enabled.
:service
rdf:type fuseki:Service ;
rdfs:label "TDB2 ds" ;
fuseki:name "ds" ;
fuseki:serviceQuery "" ;
fuseki:serviceQuery "sparql" ;
fuseki:serviceQuery "query" ;
fuseki:serviceUpdate "" ;
fuseki:serviceUpdate "update" ;
fuseki:serviceReadWriteGraphStore "data" ;
fuseki:serviceReadGraphStore "get" ;
fuseki:dataset :dataset ;
.
:dataset
rdf:type ja:RDFDataset ;
ja:defaultGraph :defaultInferenceModel ;
.
:defaultInferenceModel
rdf:type ja:InfModel ;
ja:baseModel :tdbGraph ;
ja:reasoner [ ja:reasonerURL <http://jena.hpl.hp.com/2003/OWLFBRuleReasoner> ] ;
.
:tdbGraph
rdf:type tdb2:GraphTDB2 ;
tdb2:dataset :tdbDataset ;
.
:tdbDataset
rdf:type tdb2:DatasetTDB2 ;
tdb2:location "--mem--" ;
.
```
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For additional commands, e-mail: issues-help@jena.apache.org
[GitHub] [jena] violetcyl commented on issue #1431: OWLFBRuleReasoner do not work
Posted by GitBox <gi...@apache.org>.
violetcyl commented on issue #1431:
URL: https://github.com/apache/jena/issues/1431#issuecomment-1195041405
> Not sure if this is the case. But someone [mentioned `ja:content` doesn't go with presistent db](https://stackoverflow.com/a/65225260/6943364).
>
> My config looks like yours except for the `ja:content` part, and it works:
>
> ```turtle
> # Licensed under the terms of http://www.apache.org/licenses/LICENSE-2.0
>
> PREFIX : <https://github.com/site-bender#>
> PREFIX fuseki: <http://jena.apache.org/fuseki#>
> PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
> PREFIX tdb2: <http://jena.apache.org/2016/tdb#>
> PREFIX ja: <http://jena.hpl.hp.com/2005/11/Assembler#>
>
> ## ---------------------------------------------------------------
> ## Updatable TDB2 dataset im-memory with all services enabled.
>
> :service
> rdf:type fuseki:Service ;
> rdfs:label "TDB2 ds" ;
> fuseki:name "ds" ;
> fuseki:serviceQuery "" ;
> fuseki:serviceQuery "sparql" ;
> fuseki:serviceQuery "query" ;
> fuseki:serviceUpdate "" ;
> fuseki:serviceUpdate "update" ;
> fuseki:serviceReadWriteGraphStore "data" ;
> fuseki:serviceReadGraphStore "get" ;
> fuseki:dataset :dataset ;
> .
>
> :dataset
> rdf:type ja:RDFDataset ;
> ja:defaultGraph :defaultInferenceModel ;
> .
>
> :defaultInferenceModel
> rdf:type ja:InfModel ;
> ja:baseModel :tdbGraph ;
> ja:reasoner [ ja:reasonerURL <http://jena.hpl.hp.com/2003/OWLFBRuleReasoner> ] ;
> .
>
> :tdbGraph
> rdf:type tdb2:GraphTDB2 ;
> tdb2:dataset :tdbDataset ;
> .
>
> :tdbDataset
> rdf:type tdb2:DatasetTDB2 ;
> tdb2:location "--mem--" ;
> .
> ```
thanks, but it still does not work.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For additional commands, e-mail: issues-help@jena.apache.org
[GitHub] [jena] afs commented on issue #1431: OWLFBRuleReasoner do not work
Posted by GitBox <gi...@apache.org>.
afs commented on issue #1431:
URL: https://github.com/apache/jena/issues/1431#issuecomment-1195096790
Does @natebowang configuration (exactly as given) work?
Do you have named graphs in the TDB database?
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For additional commands, e-mail: issues-help@jena.apache.org
[GitHub] [jena] afs closed issue #1431: OWLFBRuleReasoner do not work
Posted by GitBox <gi...@apache.org>.
afs closed issue #1431: OWLFBRuleReasoner do not work
URL: https://github.com/apache/jena/issues/1431
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For additional commands, e-mail: issues-help@jena.apache.org
[GitHub] [jena] afs commented on issue #1431: OWLFBRuleReasoner do not work
Posted by GitBox <gi...@apache.org>.
afs commented on issue #1431:
URL: https://github.com/apache/jena/issues/1431#issuecomment-1309174268
Assuming this is answered.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For additional commands, e-mail: issues-help@jena.apache.org
[GitHub] [jena] afs commented on issue #1431: OWLFBRuleReasoner do not work
Posted by GitBox <gi...@apache.org>.
afs commented on issue #1431:
URL: https://github.com/apache/jena/issues/1431#issuecomment-1177357880
Jena does not cover all of OWL-DL. Maybe your ontology uses a feature not covered.
You may get an answer if ask on the Jena users list [users@jena.apache.org](mailto:users@jena.apache.org).
Joining list information:
https://jena.apache.org/help_and_support/index.html
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For additional commands, e-mail: issues-help@jena.apache.org
[GitHub] [jena] violetcyl commented on issue #1431: OWLFBRuleReasoner do not work
Posted by GitBox <gi...@apache.org>.
violetcyl commented on issue #1431:
URL: https://github.com/apache/jena/issues/1431#issuecomment-1198967543
> is only going to see the default graph - unless `td`
means ”No error, but no inference function“.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For queries about this service, please contact Infrastructure at:
users@infra.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscribe@jena.apache.org
For additional commands, e-mail: issues-help@jena.apache.org