owl java_在Java中的OWL个人

OWL API在这里有很酷的文档：

http://owlapi.sourceforge.net/documentation.html

所以,要创建一个类的个体：

OWLClass person = dataFactory.getOWLClass(":Person", pm);

OWLNamedIndividual mary = dataFactory.getOWLNamedIndividual(":Mary", pm);

OWLClassAssertionAxiom classAssertion = dataFactory.getOWLClassAssertionAxiom(person, mary);

manager.addAxiom(ontology, classAssertion);

要添加一些属性：

OWLIndividual matthew = dataFactory.getOWLNamedIndividual(IRI.create(base + "#matthew"));

OWLIndividual peter = dataFactory.getOWLNamedIndividual(IRI.create(base + "#peter"));

OWLObjectProperty hasFather = dataFactory.getOWLObjectProperty(IRI.create(base + "#hasFather"));

OWLObjectPropertyAssertionAxiom assertion = dataFactory.getOWLObjectPropertyAssertionAxiom(hasFather, matthew, peter);

也有一个推理器的例子,但它更长,所以检查自己.