Click here for full text:
An OWL Full Interpretation
Keyword(s): OWL, semantics, Herbrand, OWL Full
Abstract: This report is an appendix to report HPL-2008-59. It gives a worked example of the construction used in the proof from that report. For finiteness, a reduced datatype map consisting of only xsd:boolean is used. Each of the graphs in the construction is listed explicitly, with some redundancy eliminated. The final Herbrand graph contains about 15,000 triples.
Back to Index