我想確定一個對象何時包含兩個屬性的交集,而不是兩個屬性。 實施例: object:
A (has_disposition some disposition_A; has_disposition some disposition_B)
B (has_disposition some disposition_B; disjoint with A)
disposition:
轉換字符串類表達式我想新公理添加到本體,對於我使用ManchesterOWLSyntaxParser後來表單創建方法,其轉換String [這是在曼徹斯特OWL語法]到OWLClassExpression新增OWLAxiom並添加到本體中。 但我得到以下異常(org.semanticweb.owlapi.manchestersyntax.renderer.ParserException): - E