private void createClassExpression(final Property p) { createExpression(p); }
@Override public void visitCard(final ATermAppl term) { createQualifiedRestriction(term, OWL.cardinality); }
@Override public void visitHasValue(final ATermAppl term) { createRestriction(term, OWL.hasValue); }
public AxiomConverter(final KnowledgeBase kb, final Graph g) { _kb = kb; _graph = g; _converter = new ConceptConverter(_graph); }
@Override public void visitMax(final ATermAppl term) { createQualifiedRestriction(term, OWL.maxCardinality); }
@Override public void visitSome(final ATermAppl term) { createRestriction(term, OWL.someValuesFrom); }
public AxiomConverter(final KnowledgeBase kb, final Graph g) { _kb = kb; _graph = g; _converter = new ConceptConverter(_graph); }
@Override public void visitMin(final ATermAppl term) { createQualifiedRestriction(term, OWL.minCardinality); }
@Override public void visitAll(final ATermAppl term) { createRestriction(term, OWL.allValuesFrom); }
public AxiomConverter(final KnowledgeBase kb, final Graph g) { _kb = kb; _graph = g; _converter = new ConceptConverter(_graph); }
@Override public void visitMax(final ATermAppl term) { createQualifiedRestriction(term, OWL.maxCardinality); }
@Override public void visitSome(final ATermAppl term) { createRestriction(term, OWL.someValuesFrom); }
@Override public void visitMin(final ATermAppl term) { createQualifiedRestriction(term, OWL.minCardinality); }
@Override public void visitAll(final ATermAppl term) { createRestriction(term, OWL.allValuesFrom); }
@Override public void visitMax(final ATermAppl term) { createQualifiedRestriction(term, OWL.maxCardinality); }
@Override public void visitSome(final ATermAppl term) { createRestriction(term, OWL.someValuesFrom); }
@Override public void visitMin(final ATermAppl term) { createQualifiedRestriction(term, OWL.minCardinality); }
@Override public void visitHasValue(final ATermAppl term) { createRestriction(term, OWL.hasValue); }