本文整理汇总了Java中org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom类的典型用法代码示例。如果您正苦于以下问题：Java OWLDataPropertyRangeAxiom类的具体用法？Java OWLDataPropertyRangeAxiom怎么用？Java OWLDataPropertyRangeAxiom使用的例子？那么, 这里精选的类代码示例或许可以为您提供帮助。
OWLDataPropertyRangeAxiom类属于org.semanticweb.owlapi.model包，在下文中一共展示了OWLDataPropertyRangeAxiom类的15个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: checkInconsistentProperty
import org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom; //导入依赖的package包/类
private void checkInconsistentProperty(OWLDataProperty dp, OWLDatatype type) {
for (OWLDataPropertyRangeAxiom a : dprAxioms) {
OWLDataPropertyExpression pe = a.getProperty();
OWLDataRange r = a.getRange();
// TODO: check DataOneOf
// TODO: check OWLDataIntersectionOf
OWLDatatype otype = r.asOWLDatatype();
if (!pe.isAnonymous()) {
if (!otype.equals(type)) {
problems.add("The literal value restriction " + dp + " is inconsistent with the data property " +
"range axiom " + a);
}
} else {
problems.add("Found anonymous data property expression in data property range axiom: " + pe);
}
}
}
示例2: visit
import org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom; //导入依赖的package包/类
public void visit(OWLDataPropertyRangeAxiom axiom) {
try {
OWLDataProperty op = Utils.ensureDataProperty(axiom.getProperty());
OWLDatatype clz = Utils.ensureDatatype(axiom.getRange());
dpRanges.put(op, clz);
} catch (UnsupportedICException e) {
notSupported(axiom);
}
}
示例3: visit
import org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom; //导入依赖的package包/类
@Override
public T visit(OWLDataPropertyRangeAxiom axiom) {
throw new IllegalArgumentException(
OWLDataPropertyRangeAxiom.class.getSimpleName()
+ " cannot be converted to "
+ getTargetClass().getSimpleName());
}
示例4: visit
import org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom; //导入依赖的package包/类
@Override
public void visit(OWLDataPropertyRangeAxiom axiom) {
OWLDataRange range = axiom.getRange();
if (range.getDataRangeType() == DataRangeType.DATATYPE) {
OWLDataProperty property = axiom.getProperty().asOWLDataProperty();
sparql += subjectVar + " <" + property.toStringID() + "> ?o." + "FILTER (DATATYPE(?o) = <"
+ range.asOWLDatatype().toStringID() + ">)";
String tmp = subjectVar;
subjectVar = objectVar;
objectVar = tmp;
} else {
throw new IllegalArgumentException("Datarange " + range + " not supported yet.");
}
}
示例5: visit
import org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom; //导入依赖的package包/类
@Override
public void visit(OWLDataPropertyRangeAxiom axiom) {
hashCode = primes[4];
hashCode = hashCode * MULT + axiom.getProperty().hashCode();
hashCode = hashCode * MULT + axiom.getRange().hashCode();
hashCode = hashCode * MULT + axiom.getAnnotations().hashCode();
}
示例6: getAxiomWithoutAnnotations
import org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom; //导入依赖的package包/类
@Nonnull
@Override
public OWLDataPropertyRangeAxiom getAxiomWithoutAnnotations() {
if (!isAnnotated()) {
return this;
}
return new OWLDataPropertyRangeAxiomImpl(getProperty(), getRange(),
NO_ANNOTATIONS);
}
示例7: equals
import org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom; //导入依赖的package包/类
@Override
public boolean equals(Object obj) {
if (this == obj) {
return true;
}
if (!super.equals(obj)) {
return false;
}
return obj instanceof OWLDataPropertyRangeAxiom;
}
示例8: visit
import org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom; //导入依赖的package包/类
public void visit(OWLDataPropertyRangeAxiom axiom) {
OWLDataPropertyExpression dataProperty=axiom.getProperty();
checkTopDataPropertyUse(dataProperty,axiom);
OWLDataAllValuesFrom allPropertyRange=m_factory.getOWLDataAllValuesFrom(dataProperty,positive(axiom.getRange()));
m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { allPropertyRange });
}
示例9: visit
import org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom; //导入依赖的package包/类
public Boolean visit(OWLDataPropertyRangeAxiom axiom) {
return reasoner.isSubClassOf(factory.getOWLThing(),factory.getOWLDataAllValuesFrom(axiom.getProperty(),axiom.getRange()));
}
示例10: visit
import org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom; //导入依赖的package包/类
@Override
public OWLDataPropertyRangeAxiom visit(ElkDataPropertyRangeAxiom axiom) {
return owlFactory_.getOWLDataPropertyRangeAxiom(
convert(axiom.getProperty()), convert(axiom.getRange()));
}
示例11: visit
import org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom; //导入依赖的package包/类
@Override
public ElkDataPropertyAxiom visit(
OWLDataPropertyRangeAxiom owlDataPropertyRangeAxiom) {
return CONVERTER.convert(owlDataPropertyRangeAxiom);
}
示例12: convert
import org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom; //导入依赖的package包/类
@SuppressWarnings("static-method")
public ElkDataPropertyRangeAxiom convert(
OWLDataPropertyRangeAxiom owlDataPropertyRangeAxiom) {
return new ElkDataPropertyRangeAxiomWrap<OWLDataPropertyRangeAxiom>(
owlDataPropertyRangeAxiom);
}
示例13: visit
import org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom; //导入依赖的package包/类
@Override
public ElkAxiom visit(OWLDataPropertyRangeAxiom owlDataPropertyRangeAxiom) {
return CONVERTER.convert(owlDataPropertyRangeAxiom);
}
示例14: visit
import org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom; //导入依赖的package包/类
@Override
public void visit(OWLDataPropertyRangeAxiom axiom) {
defaultVisit(axiom);
}
示例15: visit
import org.semanticweb.owlapi.model.OWLDataPropertyRangeAxiom; //导入依赖的package包/类
@Override
public OWLAxiom visit(OWLDataPropertyRangeAxiom axiom) {
return factory.getOWLDataPropertyRangeAxiom(axiom.getProperty(), axiom.getRange(), annotations);
}