Hochschulprojekte
/
CSPARQL-Carsimulation
0
0
Fork 0
Code Issues Pull Requests Activity

[TASK] Improve TBox.

This commit is contained in:
Jan Philipp Timme 2016-10-07 18:16:58 +02:00
parent 142be2955d
commit 6e584ad301
3 changed files with 17 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
data/carSimulationTBox.rdf
View File

@ -3,38 +3,48 @@
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"> xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#">
<rdf:Description rdf:about="http://example.org/carSim/carSimulationOntology#Car"> <rdf:Description rdf:about="http://example.org/carSim/carSimulationOntology#Car">
<rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>
</rdf:Description> </rdf:Description>
<rdf:Description rdf:about="http://example.org/carSim/carSimulationOntology#CarModel"> <rdf:Description rdf:about="http://example.org/carSim/carSimulationOntology#CarModel">
<rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>
</rdf:Description> </rdf:Description>
<rdf:Description rdf:about="http://example.org/carSim/carSimulationOntology#Driver"> <rdf:Description rdf:about="http://example.org/carSim/carSimulationOntology#Driver">
<rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>
</rdf:Description> </rdf:Description>
<rdf:Description rdf:about="http://example.org/carSim/carSimulationOntology#Event"> <rdf:Description rdf:about="http://example.org/carSim/carSimulationOntology#Event">
<rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>
</rdf:Description> </rdf:Description>
<rdf:Description rdf:about="http://example.org/carSim/carSimulationOntology#CarEvent"> <rdf:Description rdf:about="http://example.org/carSim/carSimulationOntology#CarEvent">
<rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>
<rdfs:subClassOf rdf:resource="http://example.org/carSim/carSimulationOntology#Event"/> <rdfs:subClassOf rdf:resource="http://example.org/carSim/carSimulationOntology#Event"/>
</rdf:Description> </rdf:Description>
<rdf:Description rdf:about="http://example.org/carSim/carSimulationOntology#CarAirbagEvent"> <rdf:Description rdf:about="http://example.org/carSim/carSimulationOntology#CarAirbagEvent">
<rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>
<rdfs:subClassOf rdf:resource="http://example.org/carSim/carSimulationOntology#CarEvent"/> <rdfs:subClassOf rdf:resource="http://example.org/carSim/carSimulationOntology#CarEvent"/>
</rdf:Description> </rdf:Description>
<rdf:Description rdf:about="http://example.org/carSim/carSimulationOntology#CarStatusEvent"> <rdf:Description rdf:about="http://example.org/carSim/carSimulationOntology#CarStatusEvent">
<rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>
<rdfs:subClassOf rdf:resource="http://example.org/carSim/carSimulationOntology#CarEvent"/> <rdfs:subClassOf rdf:resource="http://example.org/carSim/carSimulationOntology#CarEvent"/>
</rdf:Description> </rdf:Description>
<rdf:Description rdf:about="http://example.org/carSim/carSimulationOntology#CarUserEvent"> <rdf:Description rdf:about="http://example.org/carSim/carSimulationOntology#CarUserEvent">
<rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>
<rdfs:subClassOf rdf:resource="http://example.org/carSim/carSimulationOntology#CarEvent"/> <rdfs:subClassOf rdf:resource="http://example.org/carSim/carSimulationOntology#CarEvent"/>
</rdf:Description> </rdf:Description>
<rdf:Description rdf:about="http://example.org/carSim/carSimulationOntology#CarTakenEvent"> <rdf:Description rdf:about="http://example.org/carSim/carSimulationOntology#CarTakenEvent">
<rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>
<rdfs:subClassOf rdf:resource="http://example.org/carSim/carSimulationOntology#CarUserEvent"/> <rdfs:subClassOf rdf:resource="http://example.org/carSim/carSimulationOntology#CarUserEvent"/>
</rdf:Description> </rdf:Description>
<rdf:Description rdf:about="http://example.org/carSim/carSimulationOntology#CarReturnedEvent"> <rdf:Description rdf:about="http://example.org/carSim/carSimulationOntology#CarReturnedEvent">
<rdf:type rdf:resource="http://www.w3.org/2000/01/rdf-schema#Class"/>
<rdfs:subClassOf rdf:resource="http://example.org/carSim/carSimulationOntology#CarUserEvent"/> <rdfs:subClassOf rdf:resource="http://example.org/carSim/carSimulationOntology#CarUserEvent"/>
</rdf:Description> </rdf:Description>

14
data/rdfs.rules
View File

@ -51,17 +51,15 @@
#------------------------------------------------------------------ #------------------------------------------------------------------
# RDFS Closure rules # RDFS Closure rules
#------------------------------------------------------------------ #------------------------------------------------------------------
# This one could be omitted since the results are not really very interesting! # This one could be omitted since the results are not really very interesting!
[rdf1and4: (?x ?p ?y) -> (?p rdf:type rdf:Property), (?x rdf:type rdfs:Resource), (?y rdf:type rdfs:Resource)] [rdf1and4: (?x ?p ?y) -> (?p rdf:type rdf:Property), (?x rdf:type rdfs:Resource), (?y rdf:type rdfs:Resource)]
[rdfs7b: (?a rdf:type rdfs:Class) -> (?a rdfs:subClassOf rdfs:Resource)] [rdfs7b: (?a rdf:type rdfs:Class) -> (?a rdfs:subClassOf rdfs:Resource)]
[rdfs2: (?x ?p ?y), (?p rdfs:domain ?c) -> (?x rdf:type ?c)]
[rdfs2: (?x ?p ?y), (?p rdfs:domain ?c) -> (?x rdf:type ?c)] [rdfs3: (?x ?p ?y), (?p rdfs:range ?c) -> (?y rdf:type ?c)]
[rdfs3: (?x ?p ?y), (?p rdfs:range ?c) -> (?y rdf:type ?c)]
[rdfs5a: (?a rdfs:subPropertyOf ?b), (?b rdfs:subPropertyOf ?c) -> (?a rdfs:subPropertyOf ?c)] [rdfs5a: (?a rdfs:subPropertyOf ?b), (?b rdfs:subPropertyOf ?c) -> (?a rdfs:subPropertyOf ?c)]
[rdfs5b: (?a rdf:type rdf:Property) -> (?a rdfs:subPropertyOf ?a)] [rdfs5b: (?a rdf:type rdf:Property) -> (?a rdfs:subPropertyOf ?a)]
[rdfs6: (?a ?p ?b), (?p rdfs:subPropertyOf ?q) -> (?a ?q ?b)] [rdfs6: (?a ?p ?b), (?p rdfs:subPropertyOf ?q) -> (?a ?q ?b)]
[rdfs7: (?a rdf:type rdfs:Class) -> (?a rdfs:subClassOf ?a)] [rdfs7: (?a rdf:type rdfs:Class) -> (?a rdfs:subClassOf ?a)]
[rdfs8: (?a rdfs:subClassOf ?b), (?b rdfs:subClassOf ?c) -> (?a rdfs:subClassOf ?c)] [rdfs8: (?a rdfs:subClassOf ?b), (?b rdfs:subClassOf ?c) -> (?a rdfs:subClassOf ?c)]
[rdfs9: (?x rdfs:subClassOf ?y), (?a rdf:type ?x) -> (?a rdf:type ?y)] [rdfs9: (?x rdfs:subClassOf ?y), (?a rdf:type ?x) -> (?a rdf:type ?y)]
[rdfs10: (?x rdf:type rdfs:ContainerMembershipProperty) -> (?x rdfs:subPropertyOf rdfs:member)] [rdfs10: (?x rdf:type rdfs:ContainerMembershipProperty) -> (?x rdfs:subPropertyOf rdfs:member)]

1
src/main/java/lu/jpt/csparqlproject/Main.java
View File

@ -30,6 +30,7 @@ public class Main {
Main.prefixManager = new PrefixManager(); Main.prefixManager = new PrefixManager();
// Register generic prefixes // Register generic prefixes
Main.prefixManager.registerPrefix("rdf", "http://www.w3.org/1999/02/22-rdf-syntax-ns#"); Main.prefixManager.registerPrefix("rdf", "http://www.w3.org/1999/02/22-rdf-syntax-ns#");
Main.prefixManager.registerPrefix("rdfs", "http://www.w3.org/2000/01/rdf-schema#");
Main.prefixManager.registerPrefix("xsd", "http://www.w3.org/2001/XMLSchema#"); Main.prefixManager.registerPrefix("xsd", "http://www.w3.org/2001/XMLSchema#");
Main.prefixManager.registerPrefix("f", "http://larkc.eu/csparql/sparql/jena/ext#"); Main.prefixManager.registerPrefix("f", "http://larkc.eu/csparql/sparql/jena/ext#");