org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom Java Examples

The following examples show how to use org.semanticweb.owlapi.model.OWLSubDataPropertyOfAxiom. You can vote up the ones you like or vote down the ones you don't like, and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.

Example #1

Source File: AbstractOwlAxiomConverterVisitor.java From elk-reasoner with Apache License 2.0

5 votes

@Override
public T visit(OWLSubDataPropertyOfAxiom axiom) {
	throw new IllegalArgumentException(
			OWLSubDataPropertyOfAxiom.class.getSimpleName()
					+ " cannot be converted to "
					+ getTargetClass().getSimpleName());
}

Example #2

Source File: AbstractElkObjectConverter.java From elk-reasoner with Apache License 2.0

4 votes

@Override
public OWLSubDataPropertyOfAxiom visit(ElkSubDataPropertyOfAxiom axiom) {
	return owlFactory_.getOWLSubDataPropertyOfAxiom(
			convert(axiom.getSubDataPropertyExpression()),
			convert(axiom.getSuperDataPropertyExpression()));
}

Example #3

Source File: OwlDataPropertyAxiomConverterVisitor.java From elk-reasoner with Apache License 2.0

4 votes

@Override
public ElkDataPropertyAxiom visit(
		OWLSubDataPropertyOfAxiom owlSubDataPropertyOfAxiom) {
	return CONVERTER.convert(owlSubDataPropertyOfAxiom);
}

Example #4

Source File: OwlConverter.java From elk-reasoner with Apache License 2.0

4 votes

@SuppressWarnings("static-method")
public ElkSubDataPropertyOfAxiom convert(
		OWLSubDataPropertyOfAxiom owlSubDataPropertyOfAxiom) {
	return new ElkSubDataPropertyOfAxiomWrap<OWLSubDataPropertyOfAxiom>(
			owlSubDataPropertyOfAxiom);
}

Example #5

Source File: OwlAxiomConverterVisitor.java From elk-reasoner with Apache License 2.0

4 votes

@Override
public ElkAxiom visit(OWLSubDataPropertyOfAxiom owlSubDataPropertyOfAxiom) {
	return CONVERTER.convert(owlSubDataPropertyOfAxiom);
}

Example #6

Source File: FailingOwlAxiomVisitor.java From elk-reasoner with Apache License 2.0

4 votes

@Override
public void visit(OWLSubDataPropertyOfAxiom axiom) {
	defaultVisit(axiom);
}

Example #7

Source File: AxiomAnnotationTools.java From owltools with BSD 3-Clause "New" or "Revised" License

4 votes

@Override
public OWLAxiom visit(OWLSubDataPropertyOfAxiom axiom) {
	return factory.getOWLSubDataPropertyOfAxiom(axiom.getSubProperty(), axiom.getSuperProperty(), annotations);
}

Example #8

Source File: CardinalityContraintsTools.java From owltools with BSD 3-Clause "New" or "Revised" License

4 votes

@Override
public void visit(OWLSubDataPropertyOfAxiom axiom) {
}

Example #9

Source File: SubPropertyOfExtractor.java From neo4j-sparql-extension with GNU General Public License v3.0

4 votes

private void addAxiom(List<Rule> list, OWLSubDataPropertyOfAxiom a) {
	String op1 = getString(a.getSubProperty());
	String op2 = getString(a.getSuperProperty());
	list.add(new SubPropertyOf(op1, op2));
}

Example #10

Source File: SubPropertyOfExtractor.java From neo4j-sparql-extension with GNU General Public License v3.0

4 votes

private void addDataAxioms(List<Rule> list,
		Set<OWLSubDataPropertyOfAxiom> axs) {
	for (OWLSubDataPropertyOfAxiom a : axs) {
		addAxiom(list, a);
	}
}