01: /******************************************************************
02: * File: DAMLMicroReasoner.java
03: * Created by: Dave Reynolds
04: * Created on: 23-Jul-2003
05: *
06: * (c) Copyright 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
07: * [See end of file]
08: * $Id: DAMLMicroReasoner.java,v 1.9 2008/01/02 12:07:47 andy_seaborne Exp $
09: *****************************************************************/package com.hp.hpl.jena.reasoner.rulesys;
10:
11: import java.util.*;
12:
13: import com.hp.hpl.jena.graph.Capabilities;
14: import com.hp.hpl.jena.reasoner.BaseInfGraph;
15: import com.hp.hpl.jena.reasoner.ReasonerFactory;
16:
17: /**
18: * We do not support DAML inference. This is a slightly extended version
19: * of the RDFS reasoner to support some interesting subsets of DAML
20: * that correspond roughly to what was there in Jena1. We hope.
21: *
22: * @author <a href="mailto:der@hplb.hpl.hp.com">Dave Reynolds</a>
23: * @version $Revision: 1.9 $ on $Date: 2008/01/02 12:07:47 $
24: */
25: public class DAMLMicroReasoner extends GenericRuleReasoner {
26:
27: /** The location of the OWL rule definitions on the class path */
28: public static final String RULE_FILE = "etc/daml-micro.rules";
29:
30: /** The parsed rules */
31: protected static List ruleSet;
32:
33: /**
34: * Constructor
35: */
36: public DAMLMicroReasoner(ReasonerFactory parent) {
37: super (loadRules(), parent);
38: setMode(HYBRID);
39: setTransitiveClosureCaching(true);
40: }
41:
42: /**
43: * Return the RDFS rule set, loading it in if necessary
44: */
45: public static List loadRules() {
46: if (ruleSet == null)
47: ruleSet = loadRules(RULE_FILE);
48: return ruleSet;
49: }
50:
51: /**
52: * Return the Jena Graph Capabilties that the inference graphs generated
53: * by this reasoner are expected to conform to.
54: */
55: public Capabilities getGraphCapabilities() {
56: if (capabilities == null) {
57: capabilities = new BaseInfGraph.InfFindSafeCapabilities();
58: }
59: return capabilities;
60: }
61: }
62:
63: /*
64: (c) Copyright 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP
65: All rights reserved.
66:
67: Redistribution and use in source and binary forms, with or without
68: modification, are permitted provided that the following conditions
69: are met:
70:
71: 1. Redistributions of source code must retain the above copyright
72: notice, this list of conditions and the following disclaimer.
73:
74: 2. Redistributions in binary form must reproduce the above copyright
75: notice, this list of conditions and the following disclaimer in the
76: documentation and/or other materials provided with the distribution.
77:
78: 3. The name of the author may not be used to endorse or promote products
79: derived from this software without specific prior written permission.
80:
81: THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
82: IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
83: OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
84: IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
85: INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
86: NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
87: DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
88: THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
89: (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
90: THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
91: */
|