检查运行时中的本体一致性

Question

我有一个程序，它使用耶拿来加载用Protege设计的.owl本体。我正在尝试使用 Pellet 对它进行推理，如果我在运行时添加一些语句来建模，就能够检查其一致性。例如，我有"方法"，"签名"和"hasSignature"概念，其中hasSignature是一个对象属性。我有以下公理：

Method hasSignature exactly 1 Signature

当我添加一些实例语句以违反上述公理时，不会报告不一致。这是我的代码：

List<Statement> statements = new ArrayList<>();
OntModel model = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM_RULE_INF);
FileManager.get().readModel(model, "Ontologies\Ontology.owl");
OntClass Method = model.createClass( ns + "Method");
Individual method1 = Method.createIndividual(ns + "method1");
OntClass Signature = model.createClass( ns + "Signature");
Individual sign1 = Signature.createIndividual(ns + "sign1");
Individual sign2 = Signature.createIndividual(ns + "sign2");
Property hasSignature = model.createObjectProperty(ns + "hasSignature");
Statement st = model.createStatement(method1, hasSignature, sign1);
statements.add(st);
Statement st1 = model.createStatement(method1, hasSignature, sign2);
statements.add(st1);
Reasoner reasoner = PelletReasonerFactory.theInstance().create();
InfModel inf = ModelFactory.createInfModel(reasoner, model.add(statements));
System.out.println(inf.validate().isValid());

怎么了？为什么它不起作用？

Answer 1

您尚未声明sign1和sign2彼此不同。因此，由于两个人有可能相互sameAs，推理者已经确定这是唯一没有引起冲突的情况。因此，本体是一致的。