没见到只要owl规则就可以的推理啊......

Reasoner是接口，不能Reasoner reasoner=new Reasoner();

可是 我的问题是这样做还是用了data了阿  因为那个data.rdf里存的实际上就是instance

public static InfModel createInfModel(Reasoner reasoner,Model model)

Build an inferred model by attaching the given RDF model to the given reasoner.

Parameters:
reasoner - the reasoner to use to process the data
model - the Model containing both instance data and schema assertions to be inferenced over

第二个参数不是指明了要“instance data ”的么？

jpz6311whu兄你觉得如果完全不用instance上面的代码要怎么改改呢？

String domaintbox="一些领域的rules";
Reasoner reasoner=new GenericRuleReasoner(Rule.parseRules(domaintbox));

InfModel=ModelFactory.createInfModel(reasoner,schema);

另外再稍带问个问题，ontmodel和infmodel哪个比较强些，只知道好像ont是inf的子类

我想问的是哪个更适合在owl上推理用呢？

单单写属性名肯定是不行的，我看很多都是“eg:xxx“，这能行吗？

要如何注册啊？谢了

@prefix pre: <http://domain/url#>.
Defines a prefix pre which can be used in the rules. The prefix is local to the rule file.

@include <urlToRuleFile>.
Includes the rules defined in the given file in this file. The included rules will appear before the user defined rules, irrespective of where in the file the @include directive appears. A set of special cases is supported to allow a rule file to include the predefined rules for RDFS and OWL - in place of a real URL for a rule file use one of the keywords RDFS OWL OWLMicro OWLMini (case insensitive).

So an example complete rule file which includes the RDFS rules and defines a single extra rule is:

# Example rule file
@prefix pre: <http://jena.hpl.hp.com/prefix#>.
@include <RDFS>.

[rule1: (?f pre:father ?a) (?u pre:brother ?f) -> (?u pre:uncle ?a)]