An OWL Full Interpretation

Carrooll, Jeremy

HP Development Company

关键词: OWL;    semantics;    Herbrand;    OWL Full;   

RP-ID  :  HPL-2008-60

学科分类：计算机科学（综合）

美国|英语

来源: HP Labs

【 摘 要 】

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. 12 Pages