org.semanticweb.owlapi.model.OWLSubClassOfAxiom.getSuperClass()方法的使用及代码示例

本文整理了Java中org.semanticweb.owlapi.model.OWLSubClassOfAxiom.getSuperClass()方法的一些代码示例，展示了OWLSubClassOfAxiom.getSuperClass()的具体用法。这些代码示例主要来源于Github/Stackoverflow/Maven等平台，是从一些精选项目中提取出来的代码，具有较强的参考意义，能在一定程度帮忙到你。OWLSubClassOfAxiom.getSuperClass()方法的具体详情如下：
包路径：org.semanticweb.owlapi.model.OWLSubClassOfAxiom
类名称：OWLSubClassOfAxiom
方法名：getSuperClass

OWLSubClassOfAxiom.getSuperClass介绍

[英]Gets the superclass in this axiom.
[中]获取此公理中的超类。

代码示例

代码示例来源：origin: owlcs/owlapi

@Override
public void visit(OWLSubClassOfAxiom axiom) {
rhs.add(axiom.getSuperClass());
lhs.add(axiom.getSubClass());
}

代码示例来源：origin: owlcs/owlapi

@Override
public Collection visit(OWLSubClassOfAxiom axiom) {
return subClassOf(axiom.getSubClass(), axiom.getSuperClass());
}
}

代码示例来源：origin: owlcs/owlapi

@Override
public Integer visit(OWLSubClassOfAxiom axiom) {
int subClassModalDepth = axiom.getSubClass().accept(this).intValue();
int superClassModalDepth = axiom.getSuperClass().accept(this).intValue();
return Integer.valueOf(Math.max(subClassModalDepth, superClassModalDepth));
}

代码示例来源：origin: owlcs/owlapi

@Override
public Boolean visit(@Nonnull OWLSubClassOfAxiom axiom) {
return Boolean
.valueOf(checkNegative(axiom.getSubClass()) && checkNegative(axiom.getSuperClass()));
}

代码示例来源：origin: owlcs/owlapi

@Override
public Boolean visit(OWLSubClassOfAxiom axiom) {
if (axiom.getSubClass().equals(cls())) {
isRoot = Boolean.valueOf(check(axiom.getSuperClass()));
}
return isRoot;
}

代码示例来源：origin: protegeproject/protege

public void visit(OWLSubClassOfAxiom axiom) {
if (!axiom.getSubClass().isAnonymous()) {
if (!isFilterSet(UsageFilter.filterNamedSubsSupers) ||
(!axiom.getSubClass().equals(entity) && !axiom.getSuperClass().equals(entity))) {
axiom.getSubClass().asOWLClass().accept(this);
}
}
else {
additionalAxioms.add(axiom);
usageCount++;
}
}

代码示例来源：origin: owlcs/owlapi

@Override
public Optional visit(OWLSubClassOfAxiom axiom) {
return Optional
.of(df.getOWLObjectIntersectionOf(axiom.getSubClass(), df.getOWLObjectComplementOf(axiom
.getSuperClass())));
}
}

代码示例来源：origin: owlcs/owlapi

@Override
public void visit(OWLSubClassOfAxiom axiom) {
axiom.getSubClass().accept(this);
axiom.getSuperClass().accept(this);
}

代码示例来源：origin: owlcs/owlapi

@Override
public void visit(OWLSubClassOfAxiom axiom) {
v(axiom.getSubClass());
v(axiom.getSuperClass());
}

代码示例来源：origin: owlcs/owlapi

@Override
public void visit(OWLSubClassOfAxiom axiom) {
addSingleTripleAxiom(axiom, axiom.getSubClass(), RDFS_SUBCLASS_OF.getIRI(),
axiom.getSuperClass());
}

代码示例来源：origin: owlcs/owlapi

@Override
public K visit(OWLSubClassOfAxiom axiom) {
OWLClassExpression c = sub ? axiom.getSubClass() : axiom.getSuperClass();
if (named && c.isAnonymous()) {
return doDefault(axiom);
}
return (K) c;
}

代码示例来源：origin: owlcs/owlapi

@Override
public void visit(OWLSubClassOfAxiom axiom) {
if (!axiom.getSubClass().isAnonymous()) {
source = axiom.getSubClass().asOWLClass();
}
if (!axiom.getSuperClass().isOWLNothing()) {
OWLClassExpression classExpression = axiom.getSuperClass();
if (!classExpression.isAnonymous()) {
target = classExpression.asOWLClass();
}
}
}

代码示例来源：origin: owlcs/owlapi

@Override
public void visit(OWLSubClassOfAxiom axiom) {
if (!axiom.getSubClass().isAnonymous()) {
source = axiom.getSubClass().asOWLClass();
}
if (!axiom.getSuperClass().isOWLNothing()) {
OWLClassExpression classExpression = axiom.getSuperClass();
if (!classExpression.isAnonymous()) {
target = classExpression.asOWLClass();
}
}
}

代码示例来源：origin: owlcs/owlapi

@Override
public void visit(OWLSubClassOfAxiom axiom) {
sb.append("SubClassOf(");
writeAnnotations(axiom);
axiom.getSubClass().accept(this);
insertSpace();
axiom.getSuperClass().accept(this);
sb.append(')');
}

代码示例来源：origin: owlcs/owlapi

@Override
public void visit(OWLSubClassOfAxiom axiom) {
if (!axiom.getSubClass().isAnonymous()) {
getAxiomsForLHS(axiom.getSubClass().asOWLClass()).add(axiom);
indexAxiomsByRHSEntities(axiom.getSuperClass(), axiom);
}
}

代码示例来源：origin: owlcs/owlapi

@Override
public void visit(OWLSubClassOfAxiom axiom) {
if (!axiom.getSubClass().isAnonymous()) {
getAxiomsForLHS(axiom.getSubClass().asOWLClass()).add(axiom);
indexAxiomsByRHSEntities(axiom.getSuperClass(), axiom);
}
}

代码示例来源：origin: net.sourceforge.owlapi/owlapi-distribution

@Override
public void visit(OWLSubClassOfAxiom axiom) {
if (!axiom.getSubClass().isAnonymous()) {
getAxiomsForLHS(axiom.getSubClass().asOWLClass()).add(axiom);
indexAxiomsByRHSEntities(axiom.getSuperClass(), axiom);
}
}

代码示例来源：origin: protegeproject/protege

public void visit(OWLSubClassOfAxiom node) {
node.getSubClass().accept(this);
write(" \u2291 ");
node.getSuperClass().accept(this);
}

代码示例来源：origin: owlcs/owlapi

@Override
public void visit(OWLSubClassOfAxiom axiom) {
// A and not (B)
OWLClassExpression complement = dataFactory.getOWLObjectComplementOf(axiom.getSuperClass());
desc = dataFactory.getOWLObjectIntersectionOf(
CollectionFactory.createSet(axiom.getSubClass(), complement));
}

代码示例来源：origin: owlcs/owlapi

@Override
default int initHashCode() {
int hash = hashIndex();
hash = OWLObject.hashIteration(hash, getSubClass().hashCode());
hash = OWLObject.hashIteration(hash, getSuperClass().hashCode());
return OWLObject.hashIteration(hash, annotationsAsList().hashCode());
}