diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-27 10:29:04 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-11-27 10:29:04 +0000 |
| commit | 6f4dda8c71e600ef55b8f6f90977d128481e3520 (patch) | |
| tree | 8279bcf43ada4f0515496ed0af21c699835c0889 /examples/lubm | |
| parent | 8bd3b5275a6d81f35cfd561e290156e9e8ecb6d5 (diff) | |
| download | RSAComb-6f4dda8c71e600ef55b8f6f90977d128481e3520.tar.gz RSAComb-6f4dda8c71e600ef55b8f6f90977d128481e3520.zip | |
Add support for data property domain axioms
Also reintroduce data property axioms in LUBM
Diffstat (limited to 'examples/lubm')
| -rw-r--r-- | examples/lubm/univ-bench.ttl | 122 |
1 files changed, 61 insertions, 61 deletions
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 @@ | |||
| 324 | ################################################################# | 324 | ################################################################# |
| 325 | 325 | ||
| 326 | 326 | ||
| 327 | #### http://swat.cse.lehigh.edu/onto/univ-bench.owl#age | 327 | ### http://swat.cse.lehigh.edu/onto/univ-bench.owl#age |
| 328 | # | 328 | |
| 329 | #:age rdf:type owl:DatatypeProperty ; | 329 | :age rdf:type owl:DatatypeProperty ; |
| 330 | # | 330 | |
| 331 | # rdfs:label "is age" ; | 331 | rdfs:label "is age" ; |
| 332 | # | 332 | |
| 333 | # rdfs:domain :Person . | 333 | rdfs:domain :Person . |
| 334 | # | 334 | |
| 335 | # | 335 | |
| 336 | # | 336 | |
| 337 | #### http://swat.cse.lehigh.edu/onto/univ-bench.owl#emailAddress | 337 | ### http://swat.cse.lehigh.edu/onto/univ-bench.owl#emailAddress |
| 338 | # | 338 | |
| 339 | #:emailAddress rdf:type owl:DatatypeProperty ; | 339 | :emailAddress rdf:type owl:DatatypeProperty ; |
| 340 | # | 340 | |
| 341 | # rdfs:label "can be reached at" ; | 341 | rdfs:label "can be reached at" ; |
| 342 | # | 342 | |
| 343 | # rdfs:domain :Person . | 343 | rdfs:domain :Person . |
| 344 | # | 344 | |
| 345 | # | 345 | |
| 346 | # | 346 | |
| 347 | #### http://swat.cse.lehigh.edu/onto/univ-bench.owl#name | 347 | ### http://swat.cse.lehigh.edu/onto/univ-bench.owl#name |
| 348 | # | 348 | |
| 349 | #:name rdf:type owl:DatatypeProperty ; | 349 | :name rdf:type owl:DatatypeProperty ; |
| 350 | # | 350 | |
| 351 | # rdfs:label "name" . | 351 | rdfs:label "name" . |
| 352 | # | 352 | |
| 353 | # | 353 | |
| 354 | # | 354 | |
| 355 | #### http://swat.cse.lehigh.edu/onto/univ-bench.owl#officeNumber | 355 | ### http://swat.cse.lehigh.edu/onto/univ-bench.owl#officeNumber |
| 356 | # | 356 | |
| 357 | #:officeNumber rdf:type owl:DatatypeProperty ; | 357 | :officeNumber rdf:type owl:DatatypeProperty ; |
| 358 | # | 358 | |
| 359 | # rdfs:label "office room No." . | 359 | rdfs:label "office room No." . |
| 360 | # | 360 | |
| 361 | # | 361 | |
| 362 | # | 362 | |
| 363 | #### http://swat.cse.lehigh.edu/onto/univ-bench.owl#researchInterest | 363 | ### http://swat.cse.lehigh.edu/onto/univ-bench.owl#researchInterest |
| 364 | # | 364 | |
| 365 | #:researchInterest rdf:type owl:DatatypeProperty ; | 365 | :researchInterest rdf:type owl:DatatypeProperty ; |
| 366 | # | 366 | |
| 367 | # rdfs:label "is researching" . | 367 | rdfs:label "is researching" . |
| 368 | # | 368 | |
| 369 | # | 369 | |
| 370 | # | 370 | |
| 371 | #### http://swat.cse.lehigh.edu/onto/univ-bench.owl#telephone | 371 | ### http://swat.cse.lehigh.edu/onto/univ-bench.owl#telephone |
| 372 | # | 372 | |
| 373 | #:telephone rdf:type owl:DatatypeProperty ; | 373 | :telephone rdf:type owl:DatatypeProperty ; |
| 374 | # | 374 | |
| 375 | # rdfs:label "telephone number" ; | 375 | rdfs:label "telephone number" ; |
| 376 | # | 376 | |
| 377 | # rdfs:domain :Person . | 377 | rdfs:domain :Person . |
| 378 | # | 378 | |
| 379 | # | 379 | |
| 380 | # | 380 | |
| 381 | #### http://swat.cse.lehigh.edu/onto/univ-bench.owl#title | 381 | ### http://swat.cse.lehigh.edu/onto/univ-bench.owl#title |
| 382 | # | 382 | |
| 383 | #:title rdf:type owl:DatatypeProperty ; | 383 | :title rdf:type owl:DatatypeProperty ; |
| 384 | # | 384 | |
| 385 | # rdfs:label "title" ; | 385 | rdfs:label "title" ; |
| 386 | # | 386 | |
| 387 | # rdfs:domain :Person . | 387 | rdfs:domain :Person . |
| 388 | 388 | ||
| 389 | 389 | ||
| 390 | 390 | ||