本文整理汇总了Java中org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom类的典型用法代码示例。如果您正苦于以下问题：Java OWLObjectPropertyDomainAxiom类的具体用法？Java OWLObjectPropertyDomainAxiom怎么用？Java OWLObjectPropertyDomainAxiom使用的例子？那么, 这里精选的类代码示例或许可以为您提供帮助。
OWLObjectPropertyDomainAxiom类属于org.semanticweb.owlapi.model包，在下文中一共展示了OWLObjectPropertyDomainAxiom类的15个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: visit
import org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom; //导入依赖的package包/类
public void visit(OWLObjectPropertyDomainAxiom axiom) {
// OWLObjectProperty op = ensureObjectProperty(axiom.getProperty());
// OWLClass clz = ensureClass(axiom.getDomain());
// Set<ObjectDomainConstraint> c = odConstraints.get(op);
// if (c == null) {
// c = new HashSet<ObjectDomainConstraint>();
// odConstraints.put(op, c);
// }
//
// c.add(IntegrityConstraintFactoryImpl
// .ObjectPropertyDomainConstraint(op, clz));
notSupported(axiom);
}
示例2: visit
import org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom; //导入依赖的package包/类
@Override
public T visit(OWLObjectPropertyDomainAxiom axiom) {
throw new IllegalArgumentException(
OWLObjectPropertyDomainAxiom.class.getSimpleName()
+ " cannot be converted to "
+ getTargetClass().getSimpleName());
}
示例3: visit
import org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom; //导入依赖的package包/类
@Override
public Set<ComplexIntegerAxiom> visit(OWLObjectPropertyDomainAxiom axiom) throws TranslationException {
Objects.requireNonNull(axiom);
IntegerObjectPropertyExpression propertyExpr = translateObjectPropertyExpression(axiom.getProperty());
OWLClassExpression classExpression = axiom.getDomain();
IntegerClassExpression superClassExpression = translateClassExpression(classExpression);
IntegerClassExpression subClassExpression = getDataTypeFactory().createObjectSomeValuesFrom(propertyExpr,
getDataTypeFactory().createClass(IntegerEntityManager.topClassId));
ComplexIntegerAxiom ret = getAxiomFactory().createSubClassOfAxiom(subClassExpression, superClassExpression,
translateAnnotations(axiom.getAnnotations()));
return Collections.singleton(ret);
}
示例4: visit
import org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom; //导入依赖的package包/类
@Override
public void visit(OWLObjectPropertyDomainAxiom axiom)
{
addSubClassAxiom(axiom.asOWLSubClassOfAxiom());
OWLObjectPropertyExpression op = axiom.getProperty();
OwlNodeSet<OWLPropertyExpression<?,?>> descendants = mPropertyStructureHandler.getDescendants(op, false);
for (OwlNode<OWLPropertyExpression<?,?>> node : descendants.getNodes()) {
op = (OWLObjectPropertyExpression) node.getEntity();
axiom = mOwlDataFactory.getOWLObjectPropertyDomainAxiom(op, axiom.getDomain());
addSubClassAxiom(axiom.asOWLSubClassOfAxiom());
}
}
示例5: visit
import org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom; //导入依赖的package包/类
@Override
public void visit(OWLObjectPropertyDomainAxiom axiom) {
hashCode = primes[25];
hashCode = hashCode * MULT + axiom.getProperty().hashCode();
hashCode = hashCode * MULT + axiom.getDomain().hashCode();
hashCode = hashCode * MULT + axiom.getAnnotations().hashCode();
}
示例6: getAxiomWithoutAnnotations
import org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom; //导入依赖的package包/类
@Override
public OWLObjectPropertyDomainAxiom getAxiomWithoutAnnotations() {
if (!isAnnotated()) {
return this;
}
return new OWLObjectPropertyDomainAxiomImpl(getProperty(), getDomain(),
NO_ANNOTATIONS);
}
示例7: equals
import org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom; //导入依赖的package包/类
@Override
public boolean equals(Object obj) {
if (this == obj) {
return true;
}
if (!super.equals(obj)) {
return false;
}
return obj instanceof OWLObjectPropertyDomainAxiom;
}
示例8: visit
import org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom; //导入依赖的package包/类
public void visit(OWLObjectPropertyDomainAxiom axiom) {
OWLObjectAllValuesFrom allPropertyNohting=m_factory.getOWLObjectAllValuesFrom(axiom.getProperty().getSimplified(),m_factory.getOWLNothing());
m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { positive(axiom.getDomain()),allPropertyNohting });
m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty());
}
示例9: visit
import org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom; //导入依赖的package包/类
public Boolean visit(OWLObjectPropertyDomainAxiom axiom) {
return reasoner.isSubClassOf(factory.getOWLObjectSomeValuesFrom(axiom.getProperty(),factory.getOWLThing()),axiom.getDomain());
}
示例10: visit
import org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom; //导入依赖的package包/类
@Override
public OWLObjectPropertyDomainAxiom visit(
ElkObjectPropertyDomainAxiom axiom) {
return owlFactory_.getOWLObjectPropertyDomainAxiom(
convert(axiom.getProperty()), convert(axiom.getDomain()));
}
示例11: convert
import org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom; //导入依赖的package包/类
@SuppressWarnings("static-method")
public ElkObjectPropertyDomainAxiom convert(
OWLObjectPropertyDomainAxiom owlObjectPropertyDomainAxiom) {
return new ElkObjectPropertyDomainAxiomWrap<OWLObjectPropertyDomainAxiom>(
owlObjectPropertyDomainAxiom);
}
示例12: visit
import org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom; //导入依赖的package包/类
@Override
public ElkAxiom visit(
OWLObjectPropertyDomainAxiom owlObjectPropertyDomainAxiom) {
return CONVERTER.convert(owlObjectPropertyDomainAxiom);
}
示例13: visit
import org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom; //导入依赖的package包/类
@Override
public ElkObjectPropertyAxiom visit(
OWLObjectPropertyDomainAxiom owlObjectPropertyDomainAxiom) {
return CONVERTER.convert(owlObjectPropertyDomainAxiom);
}
示例14: visit
import org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom; //导入依赖的package包/类
@Override
public void visit(OWLObjectPropertyDomainAxiom axiom) {
defaultVisit(axiom);
}
示例15: visit
import org.semanticweb.owlapi.model.OWLObjectPropertyDomainAxiom; //导入依赖的package包/类
@Override
public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom) {
return factory.getOWLObjectPropertyDomainAxiom(axiom.getProperty(), axiom.getDomain(), annotations);
}