本文整理汇总了Java中org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom类的典型用法代码示例。如果您正苦于以下问题：Java OWLDatatypeDefinitionAxiom类的具体用法？Java OWLDatatypeDefinitionAxiom怎么用？Java OWLDatatypeDefinitionAxiom使用的例子？那么, 这里精选的类代码示例或许可以为您提供帮助。
OWLDatatypeDefinitionAxiom类属于org.semanticweb.owlapi.model包，在下文中一共展示了OWLDatatypeDefinitionAxiom类的15个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: visit
import org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom; //导入依赖的package包/类
public Boolean visit(OWLDatatypeDefinitionAxiom axiom) {
reasoner.throwInconsistentOntologyExceptionIfNecessary();
if (!reasoner.isConsistent())
return true;
if (reasoner.m_dlOntology.hasDatatypes()) {
OWLDataFactory factory=reasoner.getDataFactory();
OWLIndividual freshIndividual=factory.getOWLAnonymousIndividual("fresh-individual");
OWLDataProperty freshDataProperty=factory.getOWLDataProperty(IRI.create("fresh-data-property"));
OWLDataRange dataRange=axiom.getDataRange();
OWLDatatype dt=axiom.getDatatype();
OWLDataIntersectionOf dr1=factory.getOWLDataIntersectionOf(factory.getOWLDataComplementOf(dataRange),dt);
OWLDataIntersectionOf dr2=factory.getOWLDataIntersectionOf(factory.getOWLDataComplementOf(dt),dataRange);
OWLDataUnionOf union=factory.getOWLDataUnionOf(dr1,dr2);
OWLClassExpression c=factory.getOWLDataSomeValuesFrom(freshDataProperty,union);
OWLClassAssertionAxiom ax=factory.getOWLClassAssertionAxiom(c,freshIndividual);
Tableau tableau=reasoner.getTableau(ax);
return !tableau.isSatisfiable(true,true,null,null,null,null,null,ReasoningTaskDescription.isAxiomEntailed(axiom));
}
else
return false;
}
示例2: equals
import org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom; //导入依赖的package包/类
@Override
public boolean equals(Object obj) {
if (this == obj) {
return true;
}
if (!super.equals(obj)) {
return false;
}
// superclass is responsible for null, identity, owlaxiom type and
// annotations
if (!(obj instanceof OWLDatatypeDefinitionAxiom)) {
return false;
}
OWLDatatypeDefinitionAxiom other = (OWLDatatypeDefinitionAxiom) obj;
return datatype.equals(other.getDatatype())
&& dataRange.equals(other.getDataRange());
}
示例3: visit
import org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom; //导入依赖的package包/类
@Override
public T visit(OWLDatatypeDefinitionAxiom axiom) {
throw new IllegalArgumentException(
OWLDatatypeDefinitionAxiom.class.getSimpleName()
+ " cannot be converted to "
+ getTargetClass().getSimpleName());
}
示例4: compareObjectOfSameType
import org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom; //导入依赖的package包/类
@Override
protected int compareObjectOfSameType(OWLObject object) {
OWLDatatypeDefinitionAxiom other = (OWLDatatypeDefinitionAxiom) object;
int diff = getDatatype().compareTo(other.getDatatype());
if (diff != 0) {
return diff;
}
return getDataRange().compareTo(other.getDataRange());
}
示例5: visit
import org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom; //导入依赖的package包/类
public void visit(OWLDatatypeDefinitionAxiom axiom) {
notSupported(axiom);
}
示例6: visit
import org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom; //导入依赖的package包/类
public void visit(OWLDatatypeDefinitionAxiom axiom) {
m_axioms.m_definedDatatypesIRIs.add(axiom.getDatatype().getIRI().toString());
m_dataRangeInclusionsAsDisjunctions.add(new OWLDataRange[] { negative(axiom.getDatatype()),positive(axiom.getDataRange()) });
m_dataRangeInclusionsAsDisjunctions.add(new OWLDataRange[] { negative(axiom.getDataRange()),positive(axiom.getDatatype()) });
}
示例7: visit
import org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom; //导入依赖的package包/类
@Override
public OWLDatatypeDefinitionAxiom visit(ElkDatatypeDefinitionAxiom axiom) {
return owlFactory_.getOWLDatatypeDefinitionAxiom(
convert(axiom.getDatatype()), convert(axiom.getDataRange()));
}
示例8: convert
import org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom; //导入依赖的package包/类
@SuppressWarnings("static-method")
public ElkDatatypeDefinitionAxiom convert(
OWLDatatypeDefinitionAxiom owlDatatypeDefinition) {
return new ElkDatatypeDefinitionAxiomWrap<OWLDatatypeDefinitionAxiom>(
owlDatatypeDefinition);
}
示例9: visit
import org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom; //导入依赖的package包/类
@Override
public ElkAxiom visit(OWLDatatypeDefinitionAxiom axiom) {
return CONVERTER.convert(axiom);
}
示例10: visit
import org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom; //导入依赖的package包/类
@Override
public void visit(OWLDatatypeDefinitionAxiom axiom) {
defaultVisit(axiom);
}
示例11: visit
import org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom; //导入依赖的package包/类
@Override
public OWLAxiom visit(OWLDatatypeDefinitionAxiom axiom) {
return factory.getOWLDatatypeDefinitionAxiom(axiom.getDatatype(), axiom.getDataRange(), annotations);
}
示例12: visit
import org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom; //导入依赖的package包/类
@Override
public void visit(OWLDatatypeDefinitionAxiom axiom) {
}
示例13: visit
import org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom; //导入依赖的package包/类
@Override
public Boolean visit(OWLDatatypeDefinitionAxiom axiom) {
return true;
}
示例14: visit
import org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom; //导入依赖的package包/类
@Override
public Boolean visit(OWLDatatypeDefinitionAxiom axiom) {
return false;
}
示例15: visit
import org.semanticweb.owlapi.model.OWLDatatypeDefinitionAxiom; //导入依赖的package包/类
@Override
public Boolean visit(OWLDatatypeDefinitionAxiom axiom) {
Objects.requireNonNull(axiom);
return add(this.df.getOWLDatatypeDefinitionAxiom(axiom.getDatatype(), axiom.getDataRange(),
reg(axiom.getAnnotations())));
}