Java OWLIrreflexiveObjectPropertyAxiom类代码示例

OStack程序员社区-中国程序员成长平台 › 门户 › 编程› Java›Java编程经验

原作者: [db:作者] 来自: [db:来源] 收藏邀请

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

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

示例1: visit

import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; //导入依赖的package包/类
/**
 * An irreflexive role assertion <i>Irr(r)</i> is tranlated into the constrained:</br>
 * </br>
 * <code>
 * :- r(X,X).
 * </code>
 * @see org.semanticweb.owlapi.model.OWLAxiomVisitor#visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom)
 */

public void visit(OWLIrreflexiveObjectPropertyAxiom irrPropertyAxiom) {
	OWLObjectPropertyExpression property = irrPropertyAxiom.getProperty();
	String propertyName = mapper.getPredicateName(property.getNamedProperty());
	String cVar = var.currentVar();
	//String nVar = var.nextVariable();

	writer.write("icons " + ASP2CoreSymbols.IMPLICATION);
	writer.write(String.format(" activated(%d), ", nConstraints++));
	writer.write(propertyName);
	writer.write(ASP2CoreSymbols.BRACKET_OPEN);
	writer.write(cVar);
	writer.write(ASP2CoreSymbols.ARG_SEPERATOR);
	writer.write(cVar);
	writer.write(ASP2CoreSymbols.BRACKET_CLOSE);
	writer.write(ASP2CoreSymbols.EOR);
}

开发者ID:wolpertinger-reasoner，项目名称:Wolpertinger，代码行数:26，代码来源:DebugTranslation.java

示例2: visit

import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; //导入依赖的package包/类
/**
 * An irreflexive role assertion <i>Irr(r)</i> is tranlated into the constrained:</br>
 * </br>
 * <code>
 * :- r(X,X).
 * </code>
 * @see org.semanticweb.owlapi.model.OWLAxiomVisitor#visit(org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom)
 */

public void visit(OWLIrreflexiveObjectPropertyAxiom irrPropertyAxiom) {
	OWLObjectPropertyExpression property = irrPropertyAxiom.getProperty();
	String propertyName = mapper.getPredicateName(property.getNamedProperty());
	String cVar = var.currentVar();
	//String nVar = var.nextVariable();

	writer.write(ASP2CoreSymbols.IMPLICATION);
	writer.write(propertyName);
	writer.write(ASP2CoreSymbols.BRACKET_OPEN);
	writer.write(cVar);
	writer.write(ASP2CoreSymbols.ARG_SEPERATOR);
	writer.write(cVar);
	writer.write(ASP2CoreSymbols.BRACKET_CLOSE);
	writer.write(ASP2CoreSymbols.EOR);
}

开发者ID:wolpertinger-reasoner，项目名称:Wolpertinger，代码行数:25，代码来源:NaiveTranslation.java

示例3: visit

import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public T visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
	throw new IllegalArgumentException(
			OWLIrreflexiveObjectPropertyAxiom.class.getSimpleName()
					+ " cannot be converted to "
					+ getTargetClass().getSimpleName());
}

开发者ID:liveontologies，项目名称:elk-reasoner，代码行数:8，代码来源:AbstractOwlAxiomConverterVisitor.java

示例4: getAxiomWithoutAnnotations

import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Nonnull
@Override
public OWLIrreflexiveObjectPropertyAxiom getAxiomWithoutAnnotations() {
    if (!isAnnotated()) {
        return this;
    }
    return new OWLIrreflexiveObjectPropertyAxiomImpl(getProperty(),
            NO_ANNOTATIONS);
}

开发者ID:matthewhorridge，项目名称:owlapi-gwt，代码行数:10，代码来源:OWLIrreflexiveObjectPropertyAxiomImpl.java

示例5: equals

import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public boolean equals(Object obj) {
    if (this == obj) {
        return true;
    }
    if (!super.equals(obj)) {
        return false;
    }
    return obj instanceof OWLIrreflexiveObjectPropertyAxiom;
}

开发者ID:matthewhorridge，项目名称:owlapi-gwt，代码行数:11，代码来源:OWLIrreflexiveObjectPropertyAxiomImpl.java

示例6: visit

import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; //导入依赖的package包/类
public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
    notSupported(axiom);
}

开发者ID:kbss-cvut，项目名称:jopa，代码行数:4，代码来源:IntegrityConstraintParser.java

示例7: visit

import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; //导入依赖的package包/类
public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
    makeIrreflexive(axiom.getProperty());
    m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty());
}

开发者ID:robertoyus，项目名称:HermiT-android，代码行数:5，代码来源:OWLNormalization.java

示例8: visit

import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; //导入依赖的package包/类
public Boolean visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
    return reasoner.isIrreflexive(axiom.getProperty());
}

开发者ID:robertoyus，项目名称:HermiT-android，代码行数:4，代码来源:EntailmentChecker.java

示例9: visit

import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public OWLIrreflexiveObjectPropertyAxiom visit(
		ElkIrreflexiveObjectPropertyAxiom axiom) {
	return owlFactory_.getOWLIrreflexiveObjectPropertyAxiom(
			convert(axiom.getProperty()));
}

开发者ID:liveontologies，项目名称:elk-reasoner，代码行数:7，代码来源:AbstractElkObjectConverter.java

示例10: convert

import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; //导入依赖的package包/类
@SuppressWarnings("static-method")
public ElkIrreflexiveObjectPropertyAxiom convert(
		OWLIrreflexiveObjectPropertyAxiom owlIrreflexiveObjectPropertyAxiom) {
	return new ElkIrreflexiveObjectPropertyAxiomWrap<OWLIrreflexiveObjectPropertyAxiom>(
			owlIrreflexiveObjectPropertyAxiom);
}

开发者ID:liveontologies，项目名称:elk-reasoner，代码行数:7，代码来源:OwlConverter.java

示例11: visit

import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public ElkAxiom visit(
		OWLIrreflexiveObjectPropertyAxiom owlIrreflexiveObjectPropertyAxiom) {
	return CONVERTER.convert(owlIrreflexiveObjectPropertyAxiom);
}

开发者ID:liveontologies，项目名称:elk-reasoner，代码行数:6，代码来源:OwlAxiomConverterVisitor.java

示例12: visit

import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public ElkObjectPropertyAxiom visit(
		OWLIrreflexiveObjectPropertyAxiom owlIrreflexiveObjectPropertyAxiom) {
	return CONVERTER.convert(owlIrreflexiveObjectPropertyAxiom);
}

开发者ID:liveontologies，项目名称:elk-reasoner，代码行数:6，代码来源:OwlObjectPropertyAxiomConverterVisitor.java

示例13: visit

import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
	defaultVisit(axiom);
}

开发者ID:liveontologies，项目名称:elk-reasoner，代码行数:5，代码来源:FailingOwlAxiomVisitor.java

示例14: visit

import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public OWLAxiom visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
	return factory.getOWLIrreflexiveObjectPropertyAxiom(axiom.getProperty(), annotations);
}

开发者ID:owlcollab，项目名称:owltools，代码行数:5，代码来源:AxiomAnnotationTools.java

示例15: visit

import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
}

开发者ID:owlcollab，项目名称:owltools，代码行数:4，代码来源:CardinalityContraintsTools.java

示例16: visit

import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public Boolean visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
	return true;
}

开发者ID:julianmendez，项目名称:born，代码行数:5，代码来源:CycleDetector.java

示例17: visit

import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public Boolean visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
	return false;
}

开发者ID:julianmendez，项目名称:born，代码行数:5，代码来源:ElAxiomFilter.java

示例18: visit

import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public Boolean visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
	Objects.requireNonNull(axiom);
	return add(this.df.getOWLIrreflexiveObjectPropertyAxiom(axiom.getProperty(), reg(axiom.getAnnotations())));
}

开发者ID:julianmendez，项目名称:born，代码行数:6，代码来源:AnnotationProcessor.java

示例19: visit

import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public Boolean visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
	Objects.requireNonNull(axiom);
	return add(this.df.getOWLIrreflexiveObjectPropertyAxiom(axiom.getProperty(), empty()));
}

开发者ID:julianmendez，项目名称:born，代码行数:6，代码来源:AnnotationCreator.java

示例20: visit

import org.semanticweb.owlapi.model.OWLIrreflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public Set<ComplexIntegerAxiom> visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
	Objects.requireNonNull(axiom);
	throw TranslationException.newUnsupportedAxiomException(axiom);
}

开发者ID:julianmendez，项目名称:jcel，代码行数:6，代码来源:AxiomTranslator.java

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