Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
OWL公理をマンチェスター構文に変換する方法はありますか? OWL-API を使用すると、マンチェスター構文の文を OWL 関数型構文に解析できることはわかっていますが、まったく逆のことを行う必要があります。
新しいバージョンの OWL API (私は 4.0.1 を使用) では、これらのメソッドを使用します
Set<OWLEquivalentAxiom> axioms = localOntology.getEquivalentClassesAxiom(c1);
代わりは
Set<OWLClassExpression> c1eqclasses = c1.getEquivalentClasses(localOntology);
他の通話についても同様です。