本文整理汇总了Java中org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom类的典型用法代码示例。如果您正苦于以下问题：Java OWLTransitiveObjectPropertyAxiom类的具体用法？Java OWLTransitiveObjectPropertyAxiom怎么用？Java OWLTransitiveObjectPropertyAxiom使用的例子？那么, 这里精选的类代码示例或许可以为您提供帮助。
OWLTransitiveObjectPropertyAxiom类属于org.semanticweb.owlapi.model包，在下文中一共展示了OWLTransitiveObjectPropertyAxiom类的15个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: isUnsupportedExtensionAxiom
import org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom; //导入依赖的package包/类
protected static boolean isUnsupportedExtensionAxiom(OWLAxiom axiom) {
return axiom instanceof OWLSubObjectPropertyOfAxiom
|| axiom instanceof OWLTransitiveObjectPropertyAxiom
|| axiom instanceof OWLSubPropertyChainOfAxiom
|| axiom instanceof OWLFunctionalObjectPropertyAxiom
|| axiom instanceof OWLInverseFunctionalObjectPropertyAxiom
|| axiom instanceof SWRLRule;
}
示例2: visit
import org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public T visit(OWLTransitiveObjectPropertyAxiom axiom) {
throw new IllegalArgumentException(
OWLTransitiveObjectPropertyAxiom.class.getSimpleName()
+ " cannot be converted to "
+ getTargetClass().getSimpleName());
}
示例3: tr
import org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom; //导入依赖的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
}
示例4: getIsTransitive
import org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom; //导入依赖的package包/类
/**
* true if c is transitive in the graph
*
* @param c
* @return boolean
*/
public boolean getIsTransitive(OWLObjectProperty c) {
for(OWLOntology ont : getAllOntologies()) {
Set<OWLTransitiveObjectPropertyAxiom> ax = ont.getTransitiveObjectPropertyAxioms(c);
if (ax.isEmpty() == false) {
return true;
}
}
return false;
}
示例5: visit
import org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public Set<ComplexIntegerAxiom> visit(OWLTransitiveObjectPropertyAxiom axiom) throws TranslationException {
Objects.requireNonNull(axiom);
OWLObjectProperty property = axiom.getProperty().asOWLObjectProperty();
IntegerObjectProperty propExpr = getDataTypeFactory().createObjectProperty(translateObjectProperty(property));
ComplexIntegerAxiom ret = getAxiomFactory().createTransitiveObjectPropertyAxiom(propExpr,
translateAnnotations(axiom.getAnnotations()));
return Collections.singleton(ret);
}
示例6: visit
import org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public void visit(OWLTransitiveObjectPropertyAxiom axiom) {
ParameterizedSparqlString template = new ParameterizedSparqlString(
subjectVar + " ?p ?o1 . ?o1 ?p ?o . " + subjectVar + " ?p " + objectVar);
template.setIri("p", axiom.getProperty().asOWLObjectProperty().toStringID());
sparql += template.toString();
}
示例7: getAxiomWithoutAnnotations
import org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom; //导入依赖的package包/类
@Nonnull
@Override
public OWLTransitiveObjectPropertyAxiom getAxiomWithoutAnnotations() {
if (!isAnnotated()) {
return this;
}
return new OWLTransitiveObjectPropertyAxiomImpl(getProperty(),
NO_ANNOTATIONS);
}
示例8: equals
import org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public boolean equals(Object obj) {
if (this == obj) {
return true;
}
if (!super.equals(obj)) {
return false;
}
return obj instanceof OWLTransitiveObjectPropertyAxiom;
}
示例9: visit
import org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom; //导入依赖的package包/类
public void visit(OWLTransitiveObjectPropertyAxiom axiom) {
notSupported(axiom);
}
示例10: visit
import org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom; //导入依赖的package包/类
public void visit(OWLTransitiveObjectPropertyAxiom axiom) {
makeTransitive(axiom.getProperty());
m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty());
}
示例11: visit
import org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom; //导入依赖的package包/类
public Boolean visit(OWLTransitiveObjectPropertyAxiom axiom) {
return reasoner.isTransitive(axiom.getProperty());
}
示例12: visit
import org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public OWLTransitiveObjectPropertyAxiom visit(
ElkTransitiveObjectPropertyAxiom axiom) {
return owlFactory_.getOWLTransitiveObjectPropertyAxiom(
convert(axiom.getProperty()));
}
示例13: convert
import org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom; //导入依赖的package包/类
@SuppressWarnings("static-method")
public ElkTransitiveObjectPropertyAxiom convert(
OWLTransitiveObjectPropertyAxiom owlTransitiveObjectPropertyAxiom) {
return new ElkTransitiveObjectPropertyAxiomWrap<OWLTransitiveObjectPropertyAxiom>(
owlTransitiveObjectPropertyAxiom);
}
示例14: visit
import org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public ElkAxiom visit(
OWLTransitiveObjectPropertyAxiom owlTransitiveObjectPropertyAxiom) {
return CONVERTER.convert(owlTransitiveObjectPropertyAxiom);
}
示例15: visit
import org.semanticweb.owlapi.model.OWLTransitiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public ElkObjectPropertyAxiom visit(
OWLTransitiveObjectPropertyAxiom owlTransitiveObjectPropertyAxiom) {
return CONVERTER.convert(owlTransitiveObjectPropertyAxiom);
}