From 6f4dda8c71e600ef55b8f6f90977d128481e3520 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Fri, 27 Nov 2020 10:29:04 +0000
Subject: Add support for data property domain axioms

Also reintroduce data property axioms in LUBM
---
 examples/lubm/univ-bench.ttl | 122 +++++++++++++++++++++----------------------
 1 file changed, 61 insertions(+), 61 deletions(-)

(limited to 'examples')

diff --git a/examples/lubm/univ-bench.ttl b/examples/lubm/univ-bench.ttl
index 94241cc..346cd0d 100644
--- a/examples/lubm/univ-bench.ttl
+++ b/examples/lubm/univ-bench.ttl
@@ -324,67 +324,67 @@
 #################################################################
 
 
-####  http://swat.cse.lehigh.edu/onto/univ-bench.owl#age
-#
-#:age rdf:type owl:DatatypeProperty ;
-#     
-#     rdfs:label "is age" ;
-#     
-#     rdfs:domain :Person .
-#
-#
-#
-####  http://swat.cse.lehigh.edu/onto/univ-bench.owl#emailAddress
-#
-#:emailAddress rdf:type owl:DatatypeProperty ;
-#              
-#              rdfs:label "can be reached at" ;
-#              
-#              rdfs:domain :Person .
-#
-#
-#
-####  http://swat.cse.lehigh.edu/onto/univ-bench.owl#name
-#
-#:name rdf:type owl:DatatypeProperty ;
-#      
-#      rdfs:label "name" .
-#
-#
-#
-####  http://swat.cse.lehigh.edu/onto/univ-bench.owl#officeNumber
-#
-#:officeNumber rdf:type owl:DatatypeProperty ;
-#              
-#              rdfs:label "office room No." .
-#
-#
-#
-####  http://swat.cse.lehigh.edu/onto/univ-bench.owl#researchInterest
-#
-#:researchInterest rdf:type owl:DatatypeProperty ;
-#                  
-#                  rdfs:label "is researching" .
-#
-#
-#
-####  http://swat.cse.lehigh.edu/onto/univ-bench.owl#telephone
-#
-#:telephone rdf:type owl:DatatypeProperty ;
-#           
-#           rdfs:label "telephone number" ;
-#           
-#           rdfs:domain :Person .
-#
-#
-#
-####  http://swat.cse.lehigh.edu/onto/univ-bench.owl#title
-#
-#:title rdf:type owl:DatatypeProperty ;
-#       
-#       rdfs:label "title" ;
-#       
-#       rdfs:domain :Person .
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#age
+
+:age rdf:type owl:DatatypeProperty ;
+     
+     rdfs:label "is age" ;
+     
+     rdfs:domain :Person .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#emailAddress
+
+:emailAddress rdf:type owl:DatatypeProperty ;
+              
+              rdfs:label "can be reached at" ;
+              
+              rdfs:domain :Person .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#name
+
+:name rdf:type owl:DatatypeProperty ;
+      
+      rdfs:label "name" .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#officeNumber
+
+:officeNumber rdf:type owl:DatatypeProperty ;
+              
+              rdfs:label "office room No." .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#researchInterest
+
+:researchInterest rdf:type owl:DatatypeProperty ;
+                  
+                  rdfs:label "is researching" .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#telephone
+
+:telephone rdf:type owl:DatatypeProperty ;
+           
+           rdfs:label "telephone number" ;
+           
+           rdfs:domain :Person .
+
+
+
+###  http://swat.cse.lehigh.edu/onto/univ-bench.owl#title
+
+:title rdf:type owl:DatatypeProperty ;
+       
+       rdfs:label "title" ;
+       
+       rdfs:domain :Person .
 
 
 
-- 
cgit v1.2.3