本文整理汇总了Java中org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom类的典型用法代码示例。如果您正苦于以下问题：Java OWLDataPropertyDomainAxiom类的具体用法？Java OWLDataPropertyDomainAxiom怎么用？Java OWLDataPropertyDomainAxiom使用的例子？那么, 这里精选的类代码示例或许可以为您提供帮助。
OWLDataPropertyDomainAxiom类属于org.semanticweb.owlapi.model包，在下文中一共展示了OWLDataPropertyDomainAxiom类的15个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: getDataPropertyDomains
import org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom; //导入依赖的package包/类
public NodeSet<OWLClass> getDataPropertyDomains(OWLDataProperty pe, boolean direct) throws InconsistentOntologyException, FreshEntitiesException, ReasonerInterruptedException, TimeOutException {
ensurePrepared();
DefaultNodeSet<OWLClass> result = new OWLClassNodeSet();
for (OWLOntology ontology : getRootOntology().getImportsClosure()) {
for (OWLDataPropertyDomainAxiom axiom : ontology.getDataPropertyDomainAxioms(pe)) {
result.addNode(getEquivalentClasses(axiom.getDomain()));
if (!direct) {
result.addAllNodes(getSuperClasses(axiom.getDomain(), false).getNodes());
}
}
}
return result;
}
示例2: visit
import org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom; //导入依赖的package包/类
public void visit(OWLDataPropertyDomainAxiom axiom) {
// OWLDataProperty op = ensureDataProperty(axiom.getProperty());
// OWLClass clz = ensureClass(axiom.getDomain());
// Set<DataDomainConstraint> c = ddConstraints.get(op);
// if (c == null) {
// c = new HashSet<DataDomainConstraint>();
// ddConstraints.put(op, c);
// }
//
// c.add(IntegrityConstraintFactoryImpl.DataPropertyDomainConstraint(op,
// clz));
notSupported(axiom);
}
示例3: visit
import org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom; //导入依赖的package包/类
public void visit(OWLDataPropertyDomainAxiom axiom) {
OWLDataPropertyExpression dataProperty=axiom.getProperty();
checkTopDataPropertyUse(dataProperty,axiom);
OWLDataRange dataNothing=m_factory.getOWLDataComplementOf(m_factory.getTopDatatype());
OWLDataAllValuesFrom allPropertyDataNothing=m_factory.getOWLDataAllValuesFrom(dataProperty,dataNothing);
m_classExpressionInclusionsAsDisjunctions.add(new OWLClassExpression[] { positive(axiom.getDomain()),allPropertyDataNothing });
}
示例4: visit
import org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom; //导入依赖的package包/类
@Override
public T visit(OWLDataPropertyDomainAxiom axiom) {
throw new IllegalArgumentException(
OWLDataPropertyDomainAxiom.class.getSimpleName()
+ " cannot be converted to "
+ getTargetClass().getSimpleName());
}
示例5: visit
import org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom; //导入依赖的package包/类
@Override
public void visit(OWLDataPropertyDomainAxiom axiom) {
hashCode = primes[3];
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.OWLDataPropertyDomainAxiom; //导入依赖的package包/类
@Override
public OWLDataPropertyDomainAxiom getAxiomWithoutAnnotations() {
if (!isAnnotated()) {
return this;
}
return new OWLDataPropertyDomainAxiomImpl(getProperty(), getDomain(),
NO_ANNOTATIONS);
}
示例7: equals
import org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom; //导入依赖的package包/类
@Override
public boolean equals(Object obj) {
if (this == obj) {
return true;
}
if (!super.equals(obj)) {
return false;
}
return obj instanceof OWLDataPropertyDomainAxiom;
}
示例8: visit
import org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom; //导入依赖的package包/类
public Boolean visit(OWLDataPropertyDomainAxiom axiom) {
return reasoner.isSubClassOf(factory.getOWLDataSomeValuesFrom(axiom.getProperty(),factory.getTopDatatype()),axiom.getDomain());
}
示例9: visit
import org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom; //导入依赖的package包/类
@Override
public OWLDataPropertyDomainAxiom visit(ElkDataPropertyDomainAxiom axiom) {
return owlFactory_.getOWLDataPropertyDomainAxiom(
convert(axiom.getProperty()), convert(axiom.getDomain()));
}
示例10: visit
import org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom; //导入依赖的package包/类
@Override
public ElkDataPropertyAxiom visit(
OWLDataPropertyDomainAxiom owlDataPropertyDomainAxiom) {
return CONVERTER.convert(owlDataPropertyDomainAxiom);
}
示例11: convert
import org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom; //导入依赖的package包/类
@SuppressWarnings("static-method")
public ElkDataPropertyDomainAxiom convert(
OWLDataPropertyDomainAxiom owlDataPropertyDomainAxiom) {
return new ElkDataPropertyDomainAxiomWrap<OWLDataPropertyDomainAxiom>(
owlDataPropertyDomainAxiom);
}
示例12: visit
import org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom; //导入依赖的package包/类
@Override
public ElkAxiom visit(OWLDataPropertyDomainAxiom owlDataPropertyDomainAxiom) {
return CONVERTER.convert(owlDataPropertyDomainAxiom);
}
示例13: visit
import org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom; //导入依赖的package包/类
@Override
public void visit(OWLDataPropertyDomainAxiom axiom) {
defaultVisit(axiom);
}
示例14: visit
import org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom; //导入依赖的package包/类
@Override
public OWLAxiom visit(OWLDataPropertyDomainAxiom axiom) {
return factory.getOWLDataPropertyDomainAxiom(axiom.getProperty(), axiom.getDomain(), annotations);
}
示例15: visit
import org.semanticweb.owlapi.model.OWLDataPropertyDomainAxiom; //导入依赖的package包/类
@Override
public void visit(OWLDataPropertyDomainAxiom axiom) {
}