JkStarDogReasoningTest_1.ttl attached)
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix test: <http://test#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
test:P2
a owl:SymmetricProperty ;
rdfs:subPropertyOf test:P0 .
test:P1
a owl:TransitiveProperty ;
rdfs:subPropertyOf test:P0 .
test:P0
a owl:ObjectProperty .
test:C1
a owl:Class .
test:I1
a test:C1 ;
test:P2 test:I2 .
test:I2
a test:C1 .
test:I3
a test:C1 ;
test:P1 test:I4 .
test:I4
a test:C1 ;
test:P1 test:I5 .
test:I5
a test:C1 .
> cd %STARDOG_HOME%
> bin\stardog-admin.bat db drop myDB_test1
> bin\stardog-admin.bat db create -n myDB_test1 JkStarDogReasoningTest_1.ttl
> bin\stardog.bat query "myDB_test1;reasoning=RL" "SELECT * { ?p a owl:ObjectProperty . }"
+--------------------------+
| p |
+--------------------------+
| owl:topObjectProperty |
| test:P0 |
| test:P2 |
| owl:bottomObjectProperty |
| test:P1 |
+--------------------------+
> bin\stardog.bat query "myDB_test1;reasoning=RL" "SELECT * { ?s ?p ?o . ?p rdfs:subPropertyOf <http://test#P0>}"
+---------+---------+---------+
| s | p | o |
+---------+---------+---------+
| test:I1 | test:P2 | test:I2 |
| test:I3 | test:P1 | test:I4 |
| test:I4 | test:P1 | test:I5 |
+---------+---------+---------+
> bin\stardog.bat query "myDB_test1;reasoning=RL" "SELECT * { ?s ?p ?o . ?p a owl:ObjectProperty}"
+---------+---------+---------+
| s | p | o |
+---------+---------+---------+
| test:I1 | test:P2 | test:I2 |
| test:I3 | test:P1 | test:I4 |
| test:I4 | test:P1 | test:I5 |
+---------+---------+---------+
> bin\stardog.bat query "myDB_test1;reasoning=RL" "SELECT * { ?s <http://test#P0> ?o }"
+---------+---------+
| s | o |
+---------+---------+
| test:I1 | test:I2 |
| test:I2 | test:I1 |
| test:I3 | test:I4 |
| test:I3 | test:I5 |
| test:I4 | test:I5 |
+---------+---------+
> bin\stardog.bat query "myDB_test1;reasoning=RL" "SELECT * {<http://test#I3> ?p <http://test#I4> }"
+---------+
| p |
+---------+
| test:P0 |
| test:P1 |
+---------+
> bin\stardog.bat query "myDB_test1;reasoning=RL" "SELECT * {<http://test#I3> ?p <http://test#I5> }"
+-------+
| p |
+-------+
+-------+
> bin\stardog.bat query "myDB_test1;reasoning=RL" "SELECT * {<http://test#I3> <http://test#P1> ?o }"
+---------+
| o |
+---------+
| test:I4 |
| test:I5 |
+---------+
> bin\stardog.bat query "myDB_test1;reasoning=RL" "SELECT * {<http://test#I2> ?p <http://test#I1> }"
+---------+
| p |
+---------+
| test:P2 |
| test:P0 |
+---------+
> bin\stardog.bat query "myDB_test1;reasoning=RL" "SELECT * {<http://test#I2> <http://test#P2> ?o }"
+---------+
| o |
+---------+
| test:I1 |
+---------+
--
-- --
You received this message because you are subscribed to the C&P "Stardog" group.
To post to this group, send email to sta...@clarkparsia.com
To unsubscribe from this group, send email to
stardog+u...@clarkparsia.com
For more options, visit this group at
http://groups.google.com/a/clarkparsia.com/group/stardog?hl=en