Java 将OWL axiom转换为曼彻斯特语法

有没有办法将OWL公理转换为曼彻斯特语法？我知道OWL-API将允许您将曼彻斯特语法中的句子解析为OWL函数语法，但我需要做的恰恰相反

OWL-API还允许您读取以函数语法编写的本体，并将其转换为曼彻斯特语法

将本体编写为曼彻斯特语法序列化文件的代码示例：

File file = new File("/home/foo/bar.owl");
OWLOntologyFormat format = manager.getOntologyFormat(ontology);
ManchesterOWLSyntaxOntologyFormat manSyntaxFormat =
                                         new ManchesterOWLSyntaxOntologyFormat();
manager.saveOntology(ontology, manSyntaxFormat, IRI.create(file));

---

manager

和

ontology

是OWL-API中的标准对象。

非常感谢您为我指明了正确的方向，这就是我解决问题的方法

公共静态void main（字符串[]args）抛出ParserException、OWLOntologyCreationException{

    File file=new File("ontology/pizza.owl");
    OWLOntologyManager manager;
    OWLOntology localOntology=null;
    OWLDataFactory factory ;

    try {


        //loading the ontology
        manager=OWLManager.createOWLOntologyManager();

        try {
            localOntology = manager.loadOntologyFromOntologyDocument(file);
        } catch (OWLOntologyCreationException e) {
            e.printStackTrace();
        }

        factory = localOntology.getOWLOntologyManager().getOWLDataFactory();

        OWLOntologyFormat format = manager.getOntologyFormat(localOntology);
        System.out.println("    format: " + format);

        ManchesterOWLSyntaxOntologyFormat manSyntaxFormat = new ManchesterOWLSyntaxOntologyFormat();
        if(format.isPrefixOWLOntologyFormat()) {
            manSyntaxFormat.copyPrefixesFrom(format.asPrefixOWLOntologyFormat());
        }

        manager.setOntologyFormat(localOntology, manSyntaxFormat);
        manager.saveOntology(localOntology, manSyntaxFormat);
        System.out.println("Manchester syntax: --- saved in Manchester.owl");

        ManchesterOWLSyntaxOWLObjectRendererImpl rendering = new ManchesterOWLSyntaxOWLObjectRendererImpl();

        OWLClass c1 = factory.getOWLClass(IRI.create("http://www.co-ode.org/ontologies/pizza/pizza.owl#IceCream"));

        Set<OWLClassExpression> c1eqclasses = c1.getEquivalentClasses(localOntology);
        for(OWLClassExpression c1e : c1eqclasses)
            System.out.println("Equivalent: "+rendering.render(c1e));

        c1eqclasses = c1.getDisjointClasses(localOntology);
        for(OWLClassExpression c1e : c1eqclasses)
            System.out.println("Disjoint: "+rendering.render(c1e));

        c1eqclasses = c1.getSubClasses(localOntology);
        for(OWLClassExpression c1e : c1eqclasses)
            System.out.println("Subclass: "+rendering.render(c1e));

        c1eqclasses = c1.getSuperClasses(localOntology);
        for(OWLClassExpression c1e : c1eqclasses)
            System.out.println("Superclass: "+rendering.render(c1e));



    }
    catch (OWLOntologyStorageException e) {
        System.out.println("Could not save ontology: " + e.getMessage());
    }



}

File File=new文件（“ontology/pizza.owl”）；
猫头鹰本体管理员；
OWLOntology localOntology=null；
猫头鹰数据工厂；
试一试{
//加载本体
manager=OWLManager.createowletologymanager（）；
试一试{
localOntology=manager.loadOntologyFromOntologyDocument（文件）；
}捕获（OWLOntologyCreationException e）{
e、 printStackTrace（）；
}
factory=localOntology.getOWLOntologyManager（）.getOWLDataFactory（）；
OWLOntologyFormat=manager.getOntologyFormat（localOntology）；
System.out.println（“格式：”+格式）；
ManchesterOWLSyntaxOntologyFormat manSyntaxFormat=新的ManchesterOWLSyntaxOntologyFormat（）；
if（格式为.isPrefixOWLOntologyFormat（））{
manSyntaxFormat.copyPrefixesFrom（format.asPrefixOWLOntologyFormat（））；
}
setOntologyFormat（localOntology，manSyntaxFormat）；
saveOntology（localOntology，manSyntaxFormat）；
System.out.println（“曼彻斯特语法：---保存在Manchester.owl中”）；
ManchesterOwlSyntaxOWLObjectRenderImpl rendering=新建ManchesterOwlSyntaxOWLObjectRenderImpl（）；
OWLClass c1=factory.getOWLClass（IRI.create（“http://www.co-ode.org/ontologies/pizza/pizza.owl#IceCream"));
设置c1eqclasses=c1.getEquivalentClasses（localOntology）；
for（OWLClassExpression c1e:c1eqclass）
System.out.println（“等效：“+rendering.render（c1e））；
c1eqclass=c1.getDisjointClasses（localOntology）；
for（OWLClassExpression c1e:c1eqclass）
System.out.println（“不相交：+rendering.render（c1e））；
c1eqclass=c1.getsubclass（localOntology）；
for（OWLClassExpression c1e:c1eqclass）
System.out.println（“子类：“+rendering.render（c1e））；
c1eqclass=c1.getSuperClasses（localOntology）；
for（OWLClassExpression c1e:c1eqclass）
System.out.println（“超类：“+rendering.render（c1e））；
}
捕获（OWLOntologyStorageException e）{
System.out.println（“无法保存本体：+e.getMessage（））；
}
}

在新版本的OWL API（我使用4.0.1）中，使用以下方法

Set<OWLEquivalentAxiom> axioms = localOntology.getEquivalentClassesAxiom(c1);

Set axioms=localOntology.getEquivalentClassesAxiom（c1）；

反而

Set<OWLClassExpression> c1eqclasses = c1.getEquivalentClasses(localOntology);

Set c1eqclass=c1.getequivalentclass（localOntology）；

其他电话也一样