使用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);