当前位置: 首页>>代码示例>>Java>>正文


Java OWLDataComplementOf类代码示例

本文整理汇总了Java中org.semanticweb.owlapi.model.OWLDataComplementOf的典型用法代码示例。如果您正苦于以下问题:Java OWLDataComplementOf类的具体用法?Java OWLDataComplementOf怎么用?Java OWLDataComplementOf使用的例子?那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。


OWLDataComplementOf类属于org.semanticweb.owlapi.model包,在下文中一共展示了OWLDataComplementOf类的15个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。

示例1: visit

import org.semanticweb.owlapi.model.OWLDataComplementOf; //导入依赖的package包/类
public void visit(OWLDataComplementOf dr) {
    OWLDataRange description=dr.getDataRange();
    if (description.isDatatype() && (Prefixes.isInternalIRI(description.asOWLDatatype().getIRI().toString()) || m_definedDatatypeIRIs.contains(description.asOWLDatatype()))) {
        m_bodyAtoms.add(Atom.create(InternalDatatype.create(description.asOWLDatatype().getIRI().toString()),X));
    }
    else {
        LiteralDataRange literalRange=m_dataRangeConverter.convertDataRange(dr);
        if (literalRange.isNegatedInternalDatatype()) {
            InternalDatatype negatedDatatype=(InternalDatatype)literalRange.getNegation();
            if (!negatedDatatype.isAlwaysTrue())
                m_bodyAtoms.add(Atom.create(negatedDatatype,X));
        }
        else {
            if (!literalRange.isAlwaysFalse())
                m_headAtoms.add(Atom.create((DLPredicate)literalRange,X));
        }
    }
}
 
开发者ID:robertoyus,项目名称:HermiT-android,代码行数:19,代码来源:OWLClausification.java

示例2: addToOntology

import org.semanticweb.owlapi.model.OWLDataComplementOf; //导入依赖的package包/类
@Override
public void addToOntology() {
  OWLDatatype datatype = OWL2Datatype.XSD_STRING.getDatatype(factory);
  OWLDataComplementOf complement = factory.getOWLDataComplementOf(datatype);

  addToGenericDomainAndNewRange(factory.getOWLDataProperty(":dataComplementOfProperty", pm), complement);
}
 
开发者ID:VisualDataWeb,项目名称:OntoBench,代码行数:8,代码来源:OwlDataComplementOfFeature.java

示例3: visit

import org.semanticweb.owlapi.model.OWLDataComplementOf; //导入依赖的package包/类
public OWLDataRange visit(OWLDataComplementOf o) {
    OWLDataRange dataRangeSimplified=getSimplified(o.getDataRange());
    if (dataRangeSimplified instanceof OWLDataComplementOf)
        return ((OWLDataComplementOf)dataRangeSimplified).getDataRange();
    else
        return m_factory.getOWLDataComplementOf(dataRangeSimplified);
}
 
开发者ID:robertoyus,项目名称:HermiT-android,代码行数:8,代码来源:ExpressionManager.java

示例4: visit

import org.semanticweb.owlapi.model.OWLDataComplementOf; //导入依赖的package包/类
@Override
public OWLDataRange visit(OWLDataComplementOf node) {
    if (negated) {
        return node.getDataRange();
    } else {
        return node;
    }
}
 
开发者ID:matthewhorridge,项目名称:owlapi-gwt,代码行数:9,代码来源:NNF.java

示例5: equals

import org.semanticweb.owlapi.model.OWLDataComplementOf; //导入依赖的package包/类
@Override
public boolean equals(Object obj) {
    if (this == obj) {
        return true;
    }
    if (!(obj instanceof OWLDataComplementOf)) {
        return false;
    }
    return ((OWLDataComplementOf) obj).getDataRange().equals(dataRange);
}
 
开发者ID:matthewhorridge,项目名称:owlapi-gwt,代码行数:11,代码来源:OWLDataComplementOfImpl.java

示例6: isNegatedAtomic

import org.semanticweb.owlapi.model.OWLDataComplementOf; //导入依赖的package包/类
protected static boolean isNegatedAtomic(OWLDataRange dr) {
    return dr instanceof OWLDataComplementOf && isAtomic(((OWLDataComplementOf)dr).getDataRange());
}
 
开发者ID:robertoyus,项目名称:HermiT-android,代码行数:4,代码来源:OWLNormalization.java

示例7: visit

import org.semanticweb.owlapi.model.OWLDataComplementOf; //导入依赖的package包/类
public OWLDataRange visit(OWLDataComplementOf node) {
    return node;
}
 
开发者ID:robertoyus,项目名称:HermiT-android,代码行数:4,代码来源:OWLNormalization.java

示例8: isBottomDataRange

import org.semanticweb.owlapi.model.OWLDataComplementOf; //导入依赖的package包/类
protected boolean isBottomDataRange(OWLDataRange dataRange) {
    return dataRange instanceof OWLDataComplementOf && ((OWLDataComplementOf)dataRange).getDataRange().isTopDatatype();
}
 
开发者ID:robertoyus,项目名称:HermiT-android,代码行数:4,代码来源:ExpressionManager.java

示例9: visit

import org.semanticweb.owlapi.model.OWLDataComplementOf; //导入依赖的package包/类
@Override
public OWLDataComplementOf visit(ElkDataComplementOf expression) {
	return owlFactory_.getOWLDataComplementOf(convert(expression));
}
 
开发者ID:liveontologies,项目名称:elk-reasoner,代码行数:5,代码来源:AbstractElkObjectConverter.java

示例10: convert

import org.semanticweb.owlapi.model.OWLDataComplementOf; //导入依赖的package包/类
@SuppressWarnings("static-method")
public ElkDataComplementOf convert(
		OWLDataComplementOf owlDataComplementOf) {
	return new ElkDataComplementOfWrap<OWLDataComplementOf>(
			owlDataComplementOf);
}
 
开发者ID:liveontologies,项目名称:elk-reasoner,代码行数:7,代码来源:OwlConverter.java

示例11: visit

import org.semanticweb.owlapi.model.OWLDataComplementOf; //导入依赖的package包/类
@Override
public ElkDataComplementOf visit(OWLDataComplementOf owlDataComplementOf) {
	return CONVERTER.convert(owlDataComplementOf);
}
 
开发者ID:liveontologies,项目名称:elk-reasoner,代码行数:5,代码来源:OwlDataRangeConverterVisitor.java

示例12: visit

import org.semanticweb.owlapi.model.OWLDataComplementOf; //导入依赖的package包/类
@Override
public O visit(OWLDataComplementOf node) {
    return doDefault(node);
}
 
开发者ID:matthewhorridge,项目名称:owlapi-gwt,代码行数:5,代码来源:OWLDataVisitorExAdapter.java

示例13: visit

import org.semanticweb.owlapi.model.OWLDataComplementOf; //导入依赖的package包/类
@Override
public void visit(OWLDataComplementOf node) {
    handleDefault(node);
}
 
开发者ID:matthewhorridge,项目名称:owlapi-gwt,代码行数:5,代码来源:OWLObjectVisitorAdapter.java

示例14: visit

import org.semanticweb.owlapi.model.OWLDataComplementOf; //导入依赖的package包/类
@Override
public void visit(OWLDataComplementOf node) {
    type = DATA_TYPE_INDEX_BASE + 2;
}
 
开发者ID:matthewhorridge,项目名称:owlapi-gwt,代码行数:5,代码来源:OWLObjectTypeIndexProvider.java

示例15: visit

import org.semanticweb.owlapi.model.OWLDataComplementOf; //导入依赖的package包/类
@Override
public void visit(OWLDataComplementOf node) {
    hashCode = primes[51];
    hashCode = hashCode * MULT + node.getDataRange().hashCode();
}
 
开发者ID:matthewhorridge,项目名称:owlapi-gwt,代码行数:6,代码来源:HashCode.java


注:本文中的org.semanticweb.owlapi.model.OWLDataComplementOf类示例由纯净天空整理自Github/MSDocs等开源代码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。