我明白您的意思了，添加一个属性，就是说如果输入症状 就能得出疾病，这有点像仅仅是查询的味道了。。。呵呵， 但是毕业要求是要有推理功能。。。我也再想到底能推理出什么来

类似这个我做过一个很简单的推理，用推理机实现，以你这个举例，给疾病添加一个充分必要条件的 restriction，例如为A疾病的充分必要条件为 症状表现为 C症状。
这时候，出现假如你查询C症状对应的疾病，那就建立一个对应的类他的必要条件是 症状表现为 C症状，这时候只要通过推理机，就可以推出这个对应的类是A疾病的子类。
不知道这样说，楼主明白不。。

应该满足不了楼主的需求，不过只是提供个何处可以推理的思路。。
具体的还得楼主自己好好研究啦，祝福楼主~

首先感谢您对我的回答。。谢谢！
您这个推理思路我大概明白了，因为我这几天也再想这个思路问题，
我现在做到这个地步，就是本体中有个疾病的类，里面2个子类，比如A疾病和B疾病，然后我添加了实例，然后是这个2个疾病的症状，
并且在病人类中，也添加了2个病人 A病人拥有A疾病的症状，B病人拥有B疾病的症状

试着构造了下Rules，
String rules="[rule:(?y http://www.owl-ontologies.com/Ontology1271230855.owl#ownsed ?z)"+
  "(?x http://www.owl-ontologies.com/Ontology1271230855.owl#owns ?y)->"+
  "(?x http://www.owl-ontologies.com/Ontology1271230855.owl#owns ?z)]";

但是输出结果把所有的信息都输出了，就是有很多无关的信息，您知道怎么解决吗？
还有 如果加入您说的那个 充分必要条件，是不是对这个rules有一定得帮助呢？
谢谢

我对如何构建规则这块不懂的。所以不能给楼主这方面的帮助了。
不过只是看楼主构建的类和实例，觉得有些问题。。
疾病症状应该不可以作为疾病的实例吧？
最好分别建一个疾病类与一个症状类，再定义疾病类与症状类之间的关系，并再做查询或推理的

我对如何构建规则这块不懂的。所以不能给楼主这方面的帮助了。
不过只是看楼主构建的类和实例，觉得有些问题。。
疾病症状应该不可以作为疾病的实例吧？
最好分别建一个疾病类与一个症状类，再定义疾病类与症状类之间的关系，并再做查询或推理的
[/quote]

这个是我阐述的不清楚，我确实是建立一个疾病类 它的子类是症状类 只是在添加实例时候，添加了一个疾病的实例 和症状的实例

哦 非常感谢您，我原来也在考虑过这个问题，但是不知道怎么解决。原来我的输出确实是把实例对也输出了。
但是结果感觉没有做出推理。可能是我本体的问题，我再修改试一下。

我的msn:bravezyj@hotmail.com
有机会讨论一下，因为我不常登录，

String rule = "[rule1:(?x http://www.owl-ontologies.com/Ontology1271230855.owl#owns ?y) " +
      "(?y http://www.owl-ontologies.com/Ontology1271230855.owl#ownsed ?z) " +
      "->(?x http://www.owl-ontologies.com/Ontology1271230855.owl#owns1 ?z)]";

  /*查询语句*/
  String queryString = "PREFIX med:<http://www.owl-ontologies.com/Ontology1271230855.owl#> " +
  "SELECT ?Patient_Information ?Fever_heat " +
  "WHERE {?Patient_Information med:owns ?Fever_heat} ";

/*创建推理机*/
  Reasoner reasoner2 = new GenericRuleReasoner(Rule.parseRules(rule));

  InfModel inf = ModelFactory.createInfModel(reasoner2, newmodel);
  Query query = QueryFactory.create(queryString);

  QueryExecution qe = QueryExecutionFactory.create(query, inf);
  ResultSet results = qe.execSelect();
  /*打印结果*/
  ResultSetFormatter.out(System.out, results, query);
  qe.close();

恩 非常感谢 结果出来了 我还想问下| med:Heart_disease   | med:Heart_disease | 为什么会显示出来，还有med这个东西 是什么意思？