本文整理汇总了Java中org.semanticweb.owlapi.model.OWLObjectPropertyCharacteristicAxiom类的典型用法代码示例。如果您正苦于以下问题：Java OWLObjectPropertyCharacteristicAxiom类的具体用法？Java OWLObjectPropertyCharacteristicAxiom怎么用？Java OWLObjectPropertyCharacteristicAxiom使用的例子？那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。
OWLObjectPropertyCharacteristicAxiom类属于org.semanticweb.owlapi.model包，在下文中一共展示了OWLObjectPropertyCharacteristicAxiom类的3个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: tr
import org.semanticweb.owlapi.model.OWLObjectPropertyCharacteristicAxiom; //导入依赖的package包/类
/**
* Transitive(R) ==> Transitive(R')
*
* @param ax
*/
private void tr(OWLObjectPropertyCharacteristicAxiom ax) {
if (ax instanceof OWLTransitiveObjectPropertyAxiom) {
OWLObjectPropertyExpression pt = trTypeLevel(ax.getProperty());
if (pt instanceof OWLObjectProperty) {
add(getOWLDataFactory().getOWLTransitiveObjectPropertyAxiom(pt));
}
}
add(ax); // pass-through
}
示例2: equals
import org.semanticweb.owlapi.model.OWLObjectPropertyCharacteristicAxiom; //导入依赖的package包/类
@Override
public boolean equals(Object obj) {
if (this == obj) {
return true;
}
if (!super.equals(obj)) {
return false;
}
if (!(obj instanceof OWLObjectPropertyCharacteristicAxiom)) {
return false;
}
return ((OWLObjectPropertyCharacteristicAxiom) obj).getProperty()
.equals(property);
}
示例3: compareObjectOfSameType
import org.semanticweb.owlapi.model.OWLObjectPropertyCharacteristicAxiom; //导入依赖的package包/类
@Override
protected int compareObjectOfSameType(OWLObject object) {
return property
.compareTo(((OWLObjectPropertyCharacteristicAxiom) object)
.getProperty());
}