Did you know ... Search Documentation:
Packs (add-ons) for SWI-Prolog

Package "rdf_owl"

Title:RDF-centric OWL module
Rating:Not rated. Create the first rating!
Latest version:0.0.1
SHA1 sum:13f9e547901bc6d71e347b32d982e8807df1ca53
Author:Chris Mungall <cjmungall@lbl.gov>
Download URL:https://github.com/cmungall/rdf_owl/releases/*.zip

Reviews

No reviews. Create the first review!.

Details by download location

VersionSHA1#DownloadsURL
0.0.113f9e547901bc6d71e347b32d982e8807df1ca531https://github.com/cmungall/rdf_owl.git

rdf_owl

OWL Library layered on top of SWI-Prolog semweb RDF library

Comparison to Thea2

An alternate approach to using OWL from Prolog is Thea2. Broadly speaking, Thea was designed for working with complex TBoxes. rdf_owl is designed for RDF applications that want to add additional convenience for OWL TBox constructs.

  • In Thea, OWL axioms are unit clauses. rdf_owl is layered on rdf/3 and rdf/4 triples
  • In Thea, URIs are fully expanded. With rdf_owl, rdf_register_prefix/2 can be used to allow shortforms
  • Thea has a complete direct representation of OWL2. rdf_owl so far only has a subset

An example:

Querying for X subClassOf part-of some Y in Thea:

? PART_OF='http://purl.obolibrary.org/obo/BFO_0000050',
SubClassOf(X,someValuesFrom(PART_OF,Y))

Same thing with rdf_owl

:- rdf_register_prefix(part_of,'http://purl.obolibrary.org/obo/BFO_0000050').

? subClassOf(X,Restr),owl_some(Restr,part_of:'',Y)

Contents of pack "rdf_owl"

Pack contains 11 files holding a total of 72.7K bytes.