本文整理汇总了Java中org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom类的典型用法代码示例。如果您正苦于以下问题:Java OWLReflexiveObjectPropertyAxiom类的具体用法?Java OWLReflexiveObjectPropertyAxiom怎么用?Java OWLReflexiveObjectPropertyAxiom使用的例子?那么, 这里精选的类代码示例或许可以为您提供帮助。
OWLReflexiveObjectPropertyAxiom类属于org.semanticweb.owlapi.model包,在下文中一共展示了OWLReflexiveObjectPropertyAxiom类的15个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: visit
import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
/**
* A reflexive role assertion<i>Ref(r)</i> is translated into the constraint:</br></br>
*
* <code>
* :- not r(X,X), thing(X).
* </code>
* @see org.semanticweb.owlapi.model.OWLAxiomVisitor#visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom)
*/
public void visit(OWLReflexiveObjectPropertyAxiom refPropertyAxiom) {
OWLObjectPropertyExpression property = refPropertyAxiom.getProperty();
String propertyName = mapper.getPredicateName(property.getNamedProperty());
String cVar = var.currentVar();
writer.write("icons " + ASP2CoreSymbols.IMPLICATION);
writer.write(String.format(" activated(%d), ", nConstraints++));
writer.write(ASP2CoreSymbols.NAF);
writer.write("_");
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.CONJUNCTION);
writer.write("thing(");
writer.write(cVar);
writer.write(")"+ASP2CoreSymbols.EOR);
}
示例2: visit
import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
/**
* A reflexive role assertion<i>Ref(r)</i> is translated into the constraint:</br></br>
*
* <code>
* :- not r(X,X), thing(X).
* </code>
* @see org.semanticweb.owlapi.model.OWLAxiomVisitor#visit(org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom)
*/
public void visit(OWLReflexiveObjectPropertyAxiom refPropertyAxiom) {
OWLObjectPropertyExpression property = refPropertyAxiom.getProperty();
String propertyName = mapper.getPredicateName(property.getNamedProperty());
String cVar = var.currentVar();
writer.write(ASP2CoreSymbols.IMPLICATION);
writer.write(ASP2CoreSymbols.NAF);
writer.write(" ");
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.CONJUNCTION);
writer.write("thing(");
writer.write(cVar);
writer.write(")"+ASP2CoreSymbols.EOR);
}
示例3: visit
import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public T visit(OWLReflexiveObjectPropertyAxiom axiom) {
throw new IllegalArgumentException(
OWLReflexiveObjectPropertyAxiom.class.getSimpleName()
+ " cannot be converted to "
+ getTargetClass().getSimpleName());
}
示例4: getIsReflexive
import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
/**
* true if c is reflexive in the graph
*
* @param c
* @return boolean
*/
public boolean getIsReflexive(OWLObjectProperty c) {
for(OWLOntology ont : getAllOntologies()) {
Set<OWLReflexiveObjectPropertyAxiom> ax = ont.getReflexiveObjectPropertyAxioms(c);
if (ax.isEmpty() == false) {
return true;
}
}
return false;
}
示例5: visit
import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public Set<ComplexIntegerAxiom> visit(OWLReflexiveObjectPropertyAxiom axiom) {
Objects.requireNonNull(axiom);
OWLObjectProperty property = asOWLObjectProperty(axiom.getProperty());
IntegerObjectProperty propertyExpr = getDataTypeFactory()
.createObjectProperty(translateObjectProperty(property));
ComplexIntegerAxiom ret = getAxiomFactory().createReflexiveObjectPropertyAxiom(propertyExpr,
translateAnnotations(axiom.getAnnotations()));
return Collections.singleton(ret);
}
示例6: getAxiomWithoutAnnotations
import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Nonnull
@Override
public OWLReflexiveObjectPropertyAxiom getAxiomWithoutAnnotations() {
if (!isAnnotated()) {
return this;
}
return new OWLReflexiveObjectPropertyAxiomImpl(getProperty(),
NO_ANNOTATIONS);
}
示例7: equals
import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public boolean equals(Object obj) {
if (this == obj) {
return true;
}
if (!super.equals(obj)) {
return false;
}
return obj instanceof OWLReflexiveObjectPropertyAxiom;
}
示例8: visit
import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
public void visit(OWLReflexiveObjectPropertyAxiom axiom) {
notSupported(axiom);
}
示例9: visit
import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
public void visit(OWLReflexiveObjectPropertyAxiom axiom) {
makeReflexive(axiom.getProperty());
m_axioms.m_objectPropertiesOccurringInOWLAxioms.add(axiom.getProperty().getNamedProperty());
}
示例10: visit
import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
public Boolean visit(OWLReflexiveObjectPropertyAxiom axiom) {
return reasoner.isReflexive(axiom.getProperty());
}
示例11: visit
import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public OWLReflexiveObjectPropertyAxiom visit(
ElkReflexiveObjectPropertyAxiom axiom) {
return owlFactory_.getOWLReflexiveObjectPropertyAxiom(
convert(axiom.getProperty()));
}
示例12: convert
import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
@SuppressWarnings("static-method")
public ElkReflexiveObjectPropertyAxiom convert(
OWLReflexiveObjectPropertyAxiom owlReflexiveObjectPropertyAxiom) {
return new ElkReflexiveObjectPropertyAxiomWrap<OWLReflexiveObjectPropertyAxiom>(
owlReflexiveObjectPropertyAxiom);
}
示例13: visit
import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public ElkAxiom visit(
OWLReflexiveObjectPropertyAxiom owlReflexiveObjectPropertyAxiom) {
return CONVERTER.convert(owlReflexiveObjectPropertyAxiom);
}
示例14: visit
import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public ElkObjectPropertyAxiom visit(
OWLReflexiveObjectPropertyAxiom owlReflexiveObjectPropertyAxiom) {
return CONVERTER.convert(owlReflexiveObjectPropertyAxiom);
}
示例15: visit
import org.semanticweb.owlapi.model.OWLReflexiveObjectPropertyAxiom; //导入依赖的package包/类
@Override
public void visit(OWLReflexiveObjectPropertyAxiom axiom) {
defaultVisit(axiom);
}