使用OWL API在OWL本体上编写OWLObjectPropertyExpression

Question

我想在OWL本体对象上编写OWLObjectPropertyExpression。如果我有一个OWL类我使用类似以下内容：

OWLOntologyManager managerWriter = OWLManager.createOWLOntologyManager(); 
OWLOntology ontoWrite=managerWriter.createOntology(); 
OWLDataFactory factory = manager.getOWLDataFactory(); 
managerWriter.addAxiom(ontoWrite,factory.getOWLDeclarationAxiom(factory.getOWLClass((cl.getIRI())))); 

但我应该怎么写，如果我想要写一个OWLObjectPropertyExpression？ 在此先感谢！

Answer 1

下面的代码片段演示使用OWL API（从there采取和改编）的OWL表达的使用和创造的一个例子：

//OWL Expression we would like to create: 
//in OWL Functional syntax: ObjectIntersectionOf(A ObjectSomeValuesFrom(R B)) 
//in Manchester syntax: A and R some B 
PrefixManager pm = new DefaultPrefixManager("http://example.org/"); 
OWLClass A = factory.getOWLClass(":A", pm); 
OWLObjectProperty R = factory.getOWLObjectProperty(":R", pm); 
OWLClass B = factory.getOWLClass(":B", pm); 

//The expression 
OWLClassExpression expression = 
    factory.getOWLObjectIntersectionOf(A, factory.getOWLObjectSomeValuesFrom(R, B)); 

//Create a class in order to use the expression 
OWLClass C = factory.getOWLClass(":C", pm); 

// Declare an equivalentClass axiom 
//Just there to show how an example on how to use the expression 
OWLAxiom definition = factory.getOWLEquivalentClassesAxiom(C, expression); 
manager.addAxiom(ontology, definition);