From 9ce65c5a963b03ee97fe9cb6c5aa65a3c04a80a8 Mon Sep 17 00:00:00 2001 From: yzhou Date: Tue, 21 Apr 2015 10:34:27 +0100 Subject: initial version --- .../ac/ox/cs/pagoda/query/rollup/QueryGraph.java | 383 +++++++++++++++++++ .../cs/pagoda/query/rollup/VariableConstant.java | 227 +++++++++++ .../cs/pagoda/query/rollup/VariableIndividual.java | 416 +++++++++++++++++++++ 3 files changed, 1026 insertions(+) create mode 100644 src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java create mode 100644 src/uk/ac/ox/cs/pagoda/query/rollup/VariableConstant.java create mode 100644 src/uk/ac/ox/cs/pagoda/query/rollup/VariableIndividual.java (limited to 'src/uk/ac/ox/cs/pagoda/query/rollup') diff --git a/src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java b/src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java new file mode 100644 index 0000000..11b0c75 --- /dev/null +++ b/src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java @@ -0,0 +1,383 @@ +package uk.ac.ox.cs.pagoda.query.rollup; + +import java.util.HashMap; +import java.util.HashSet; +import java.util.Iterator; +import java.util.Map; +import java.util.Set; + +import org.semanticweb.HermiT.model.Atom; +import org.semanticweb.HermiT.model.AtomicConcept; +import org.semanticweb.HermiT.model.AtomicRole; +import org.semanticweb.HermiT.model.Constant; +import org.semanticweb.HermiT.model.Individual; +import org.semanticweb.HermiT.model.Term; +import org.semanticweb.HermiT.model.Variable; +import org.semanticweb.owlapi.model.IRI; +import org.semanticweb.owlapi.model.OWLAxiom; +import org.semanticweb.owlapi.model.OWLClass; +import org.semanticweb.owlapi.model.OWLClassExpression; +import org.semanticweb.owlapi.model.OWLClassExpressionVisitorEx; +import org.semanticweb.owlapi.model.OWLDataAllValuesFrom; +import org.semanticweb.owlapi.model.OWLDataExactCardinality; +import org.semanticweb.owlapi.model.OWLDataFactory; +import org.semanticweb.owlapi.model.OWLDataHasValue; +import org.semanticweb.owlapi.model.OWLDataMaxCardinality; +import org.semanticweb.owlapi.model.OWLDataMinCardinality; +import org.semanticweb.owlapi.model.OWLDataSomeValuesFrom; +import org.semanticweb.owlapi.model.OWLIndividual; +import org.semanticweb.owlapi.model.OWLLiteral; +import org.semanticweb.owlapi.model.OWLNamedIndividual; +import org.semanticweb.owlapi.model.OWLObjectAllValuesFrom; +import org.semanticweb.owlapi.model.OWLObjectComplementOf; +import org.semanticweb.owlapi.model.OWLObjectExactCardinality; +import org.semanticweb.owlapi.model.OWLObjectHasSelf; +import org.semanticweb.owlapi.model.OWLObjectHasValue; +import org.semanticweb.owlapi.model.OWLObjectIntersectionOf; +import org.semanticweb.owlapi.model.OWLObjectMaxCardinality; +import org.semanticweb.owlapi.model.OWLObjectMinCardinality; +import org.semanticweb.owlapi.model.OWLObjectOneOf; +import org.semanticweb.owlapi.model.OWLObjectPropertyExpression; +import org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom; +import org.semanticweb.owlapi.model.OWLObjectUnionOf; +import org.semanticweb.owlapi.model.OWLOntology; + +public class QueryGraph { + + Set freeVars = new HashSet(); + Set existVars = new HashSet(); + Set constants = new HashSet(); + + MultiMap concepts = new MultiMap(); + MultiMap rollable_edges = new MultiMap(); + MultiMap edges = new MultiMap(); + OWLOntology ontology; + OWLDataFactory factory; + + public QueryGraph(Atom[] bodyAtoms, String[] distinguishedVars, OWLOntology onto) { + for (String vName: distinguishedVars) + freeVars.add(Variable.create(vName)); + + ontology = onto; + factory = onto.getOWLOntologyManager().getOWLDataFactory(); + + for (Atom atom: bodyAtoms) { + if (atom.getArity() == 1) { + updateExistentiallyVariables(atom.getArgumentVariable(0)); + IRI iri = IRI.create(((AtomicConcept) atom.getDLPredicate()).getIRI()); + if (ontology.containsClassInSignature(iri)) + concepts.add(atom.getArgument(0), factory.getOWLClass(IRI.create(((AtomicConcept) atom.getDLPredicate()).getIRI()))); + } + else if (atom.getArity() == 2) { + updateExistentiallyVariables(atom.getArgumentVariable(0)); + updateExistentiallyVariables(atom.getArgumentVariable(1)); + if (atom.getArgument(0).equals(atom.getArgument(1)) && atom.getArgument(0) instanceof Variable) { + concepts.add(atom.getArgument(0), factory.getOWLObjectHasSelf(factory.getOWLObjectProperty(IRI.create(((AtomicRole) atom.getDLPredicate()).getIRI())))); + } + else createEdges(atom.getArgument(0), (AtomicRole) atom.getDLPredicate(), atom.getArgument(1)); + } + } + + rollup(); + } + + private void updateExistentiallyVariables(Variable argumentVariable) { + if (freeVars.contains(argumentVariable)) return ; + existVars.add(argumentVariable); + } + + public void createEdges(Term u, AtomicRole r, Term v) { + if (ontology.containsDataPropertyInSignature(IRI.create(r.getIRI()))) { +// edges.add(u, new DataEdge(r, v)); + Constant c = (Constant) v; + OWLLiteral l = factory.getOWLLiteral(c.getLexicalForm(), c.getDatatypeURI()); + concepts.add(u, factory.getOWLDataHasValue(factory.getOWLDataProperty(IRI.create(r.getIRI())), l)); + } + else { + boolean rollable = existVars.contains(u) || existVars.contains(v); + + ObjectEdge edge = new ObjectEdge(r, v, false); + if (rollable) { + rollable_edges.add(u, edge); + edge = new ObjectEdge(r, u, true); + rollable_edges.add(v, edge); + } + else edges.add(u, edge); + + } + } + + private void rollup() { + for (boolean updated = true; updated; ) { + updated = false; + + Set set; + for (Variable var: existVars) { + if ((set = rollable_edges.map.get(var)) != null && set.size() == 1) { + updated = true; + ObjectEdge edge = set.iterator().next(); + rollupEdge(edge.v, edge.p.getInverseProperty().getSimplified(), var, true); + set.clear(); + } + } + if (updated) continue; + + for (Variable var: existVars) { + set = rollable_edges.map.get(var); + if (set == null) continue; + for (Iterator iter = set.iterator(); iter.hasNext(); ) { + ObjectEdge edge = iter.next(); + if (constants.contains(edge.v) || freeVars.contains(edge.v)) { + updated = true; + rollupEdge(var, edge.p, edge.v, false); + iter.remove(); + } + } + } + } + + } + + private void rollupEdge(Term u, OWLObjectPropertyExpression op, Term v, boolean inverse) { + if (existVars.contains(v)) { + concepts.add(u, factory.getOWLObjectSomeValuesFrom(op, factory.getOWLObjectIntersectionOf(concepts.get(v)))); + } + else { + OWLIndividual obj = getOWLIndividual(v); + concepts.add(u, factory.getOWLObjectHasValue(op, obj)); + } + + if (inverse) + removeRollableEdge(u, op, v); + else + removeRollableEdge(v, op.getInverseProperty().getSimplified(), u); + } + + private void removeRollableEdge(Term u, OWLObjectPropertyExpression op, Term v) { + Set set = rollable_edges.get(u); + ObjectEdge edge; + if (set != null) + for (Iterator iter = set.iterator(); iter.hasNext(); ) { + edge = iter.next(); + if (edge.p.equals(op) && edge.v.equals(v)) iter.remove(); + } + } + + OWLNamedIndividual getOWLIndividual(Term t) { + if (freeVars.contains(t)) + return new VariableIndividual((Variable) t); + else if (t instanceof Variable) + return null; + else + return factory.getOWLNamedIndividual(IRI.create(((Individual) t).getIRI())); + } + + class ObjectEdge { + OWLObjectPropertyExpression p; + Term v; + + public ObjectEdge(AtomicRole r, Term t, boolean inverse) { + p = factory.getOWLObjectProperty(IRI.create(r.getIRI())); + if (inverse) p = p.getInverseProperty(); + v = t; + + } + } + + class MultiMap { + + HashMap> map = new HashMap>(); + + void add(K key, V value) { + Set list = map.get(key); + if (list == null) + map.put(key, list = new HashSet()); + list.add(value); + } + + public Set get(K v) { + return map.get(v); + } + + public boolean isEmpty() { + for (Map.Entry> entry: map.entrySet()) + if (!entry.getValue().isEmpty()) + return false; + return true; + } + + } + + public Set getPropertyAssertions(Map assignment) { + OWLIndividual sub, obj; + Set axioms = new HashSet(); + for (Map.Entry> entry: edges.map.entrySet()) { + sub = factory.getOWLNamedIndividual(IRI.create(getIndividual(entry.getKey(), assignment).getIRI())); + for (ObjectEdge edge: entry.getValue()) { + obj = factory.getOWLNamedIndividual(IRI.create(getIndividual(edge.v, assignment).getIRI())); + axioms.add(factory.getOWLObjectPropertyAssertionAxiom(edge.p, sub, obj)); + } + } + return axioms; + } + + public Set getAssertions(Map assignment) { + if (!rollable_edges.isEmpty()) return null; + + OWLIndividual sub; + Visitor visitor = new Visitor(factory, assignment); + Set axioms = getPropertyAssertions(assignment); + for (Map.Entry> entry: concepts.map.entrySet()) { + if (existVars.contains(entry.getKey())) continue; + sub = factory.getOWLNamedIndividual(IRI.create(getIndividual(entry.getKey(), assignment).getIRI())); + for (OWLClassExpression clsExp: entry.getValue()) { + axioms.add(factory.getOWLClassAssertionAxiom(clsExp.accept(visitor), sub)); + } + } + return axioms; + } + + private Individual getIndividual(Term key, Map assignment) { + if (key instanceof Individual) + return (Individual) key; + else + return (Individual) assignment.get(key); + } +} + +class Visitor implements OWLClassExpressionVisitorEx { + + OWLDataFactory factory; + Map assignment; + + public Visitor(OWLDataFactory factory, Map assignment) { + this.factory = factory; + this.assignment = assignment; + } + + @Override + public OWLClassExpression visit(OWLClass ce) { + // TODO Auto-generated method stub + return ce; + } + + @Override + public OWLClassExpression visit(OWLObjectIntersectionOf ce) { + Set clsExps = new HashSet(); + OWLClassExpression newExp; + boolean updated = false; + for (OWLClassExpression clsExp: ce.asConjunctSet()) { + clsExps.add(newExp = clsExp.accept(this)); + if (newExp != clsExp) updated = true; + } + + if (updated) return factory.getOWLObjectIntersectionOf(clsExps); + else return ce; + } + + @Override + public OWLClassExpression visit(OWLObjectUnionOf ce) { + // TODO Auto-generated method stub + return ce; + } + + @Override + public OWLClassExpression visit(OWLObjectComplementOf ce) { + // TODO Auto-generated method stub + return ce; + } + + @Override + public OWLClassExpression visit(OWLObjectSomeValuesFrom ce) { + OWLClassExpression newFiller = ce.getFiller().accept(this); + if (newFiller == ce.getFiller()) return ce; + return factory.getOWLObjectSomeValuesFrom(ce.getProperty(), newFiller); + } + + @Override + public OWLClassExpression visit(OWLObjectAllValuesFrom ce) { + // TODO Auto-generated method stub + return ce; + } + + @Override + public OWLClassExpression visit(OWLObjectHasValue ce) { + if (ce.getFiller() instanceof VariableIndividual) { + Individual c = (Individual) assignment.get(((VariableIndividual) ce.getFiller()).var); + OWLIndividual l = factory.getOWLNamedIndividual(IRI.create(c.getIRI())); + return factory.getOWLObjectHasValue(ce.getProperty(), l); + } + return ce; + } + + @Override + public OWLClassExpression visit(OWLObjectMinCardinality ce) { + // TODO Auto-generated method stub + return ce; + } + + @Override + public OWLClassExpression visit(OWLObjectExactCardinality ce) { + // TODO Auto-generated method stub + return ce; + } + + @Override + public OWLClassExpression visit(OWLObjectMaxCardinality ce) { + // TODO Auto-generated method stub + return ce; + } + + @Override + public OWLClassExpression visit(OWLObjectHasSelf ce) { + // TODO Auto-generated method stub + return ce; + } + + @Override + public OWLClassExpression visit(OWLObjectOneOf ce) { + // TODO Auto-generated method stub + return ce; + } + + @Override + public OWLClassExpression visit(OWLDataSomeValuesFrom ce) { + // TODO Auto-generated method stub + return ce; + } + + @Override + public OWLClassExpression visit(OWLDataAllValuesFrom ce) { + // TODO Auto-generated method stub + return ce; + } + + @Override + public OWLClassExpression visit(OWLDataHasValue ce) { + if (ce.getFiller() instanceof VariableConstant) { + Constant c = (Constant) assignment.get(((VariableConstant) ce.getFiller()).var); + OWLLiteral l = factory.getOWLLiteral(c.getLexicalForm(), c.getDatatypeURI()); + return factory.getOWLDataHasValue(ce.getProperty(), l); + } + return ce; + } + + @Override + public OWLClassExpression visit(OWLDataMinCardinality ce) { + // TODO Auto-generated method stub + return ce; + } + + @Override + public OWLClassExpression visit(OWLDataExactCardinality ce) { + // TODO Auto-generated method stub + return ce; + } + + @Override + public OWLClassExpression visit(OWLDataMaxCardinality ce) { + // TODO Auto-generated method stub + return ce; + } + +} \ No newline at end of file diff --git a/src/uk/ac/ox/cs/pagoda/query/rollup/VariableConstant.java b/src/uk/ac/ox/cs/pagoda/query/rollup/VariableConstant.java new file mode 100644 index 0000000..3140fa4 --- /dev/null +++ b/src/uk/ac/ox/cs/pagoda/query/rollup/VariableConstant.java @@ -0,0 +1,227 @@ +package uk.ac.ox.cs.pagoda.query.rollup; + +import java.util.Set; + +import org.semanticweb.HermiT.model.Variable; +import org.semanticweb.owlapi.model.OWLAnnotationValueVisitor; +import org.semanticweb.owlapi.model.OWLAnnotationValueVisitorEx; +import org.semanticweb.owlapi.model.OWLAnonymousIndividual; +import org.semanticweb.owlapi.model.OWLClass; +import org.semanticweb.owlapi.model.OWLClassExpression; +import org.semanticweb.owlapi.model.OWLDataProperty; +import org.semanticweb.owlapi.model.OWLDataVisitor; +import org.semanticweb.owlapi.model.OWLDataVisitorEx; +import org.semanticweb.owlapi.model.OWLDatatype; +import org.semanticweb.owlapi.model.OWLEntity; +import org.semanticweb.owlapi.model.OWLLiteral; +import org.semanticweb.owlapi.model.OWLNamedIndividual; +import org.semanticweb.owlapi.model.OWLObject; +import org.semanticweb.owlapi.model.OWLObjectProperty; +import org.semanticweb.owlapi.model.OWLObjectVisitor; +import org.semanticweb.owlapi.model.OWLObjectVisitorEx; + +class VariableConstant implements OWLLiteral { + + /** + * + */ + private static final long serialVersionUID = 5089014375729171030L; + Variable var; + + public VariableConstant(Variable v) { + var = v; + } + + @Override + public Set getSignature() { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getAnonymousIndividuals() { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getClassesInSignature() { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getDataPropertiesInSignature() { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getObjectPropertiesInSignature() { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getIndividualsInSignature() { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getDatatypesInSignature() { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getNestedClassExpressions() { + // TODO Auto-generated method stub + return null; + } + + @Override + public void accept(OWLObjectVisitor visitor) { + // TODO Auto-generated method stub + + } + + @Override + public O accept(OWLObjectVisitorEx visitor) { + // TODO Auto-generated method stub + return null; + } + + @Override + public boolean isTopEntity() { + // TODO Auto-generated method stub + return false; + } + + @Override + public boolean isBottomEntity() { + // TODO Auto-generated method stub + return false; + } + + @Override + public int compareTo(OWLObject arg0) { + // TODO Auto-generated method stub + return 0; + } + + @Override + public boolean containsEntityInSignature(OWLEntity owlEntity) { + // TODO Auto-generated method stub + return false; + } + + @Override + public void accept(OWLAnnotationValueVisitor visitor) { + // TODO Auto-generated method stub + + } + + @Override + public O accept(OWLAnnotationValueVisitorEx visitor) { + // TODO Auto-generated method stub + return null; + } + + @Override + public boolean isRDFPlainLiteral() { + // TODO Auto-generated method stub + return false; + } + + @Override + public String getLiteral() { + // TODO Auto-generated method stub + return null; + } + + @Override + public OWLDatatype getDatatype() { + // TODO Auto-generated method stub + return null; + } + + @Override + public boolean hasLang() { + // TODO Auto-generated method stub + return false; + } + + @Override + public String getLang() { + // TODO Auto-generated method stub + return null; + } + + @Override + public boolean hasLang(String lang) { + // TODO Auto-generated method stub + return false; + } + + @Override + public boolean isInteger() { + // TODO Auto-generated method stub + return false; + } + + @Override + public int parseInteger() throws NumberFormatException { + // TODO Auto-generated method stub + return 0; + } + + @Override + public boolean isBoolean() { + // TODO Auto-generated method stub + return false; + } + + @Override + public boolean parseBoolean() throws NumberFormatException { + // TODO Auto-generated method stub + return false; + } + + @Override + public boolean isDouble() { + // TODO Auto-generated method stub + return false; + } + + @Override + public double parseDouble() throws NumberFormatException { + // TODO Auto-generated method stub + return 0; + } + + @Override + public boolean isFloat() { + // TODO Auto-generated method stub + return false; + } + + @Override + public float parseFloat() throws NumberFormatException { + // TODO Auto-generated method stub + return 0; + } + + @Override + public void accept(OWLDataVisitor visitor) { + // TODO Auto-generated method stub + + } + + @Override + public O accept(OWLDataVisitorEx visitor) { + // TODO Auto-generated method stub + return null; + } + +} diff --git a/src/uk/ac/ox/cs/pagoda/query/rollup/VariableIndividual.java b/src/uk/ac/ox/cs/pagoda/query/rollup/VariableIndividual.java new file mode 100644 index 0000000..53288e5 --- /dev/null +++ b/src/uk/ac/ox/cs/pagoda/query/rollup/VariableIndividual.java @@ -0,0 +1,416 @@ +package uk.ac.ox.cs.pagoda.query.rollup; + +import java.util.Map; +import java.util.Set; + +import org.semanticweb.HermiT.model.Variable; +import org.semanticweb.owlapi.model.EntityType; +import org.semanticweb.owlapi.model.IRI; +import org.semanticweb.owlapi.model.OWLAnnotation; +import org.semanticweb.owlapi.model.OWLAnnotationAssertionAxiom; +import org.semanticweb.owlapi.model.OWLAnnotationProperty; +import org.semanticweb.owlapi.model.OWLAnonymousIndividual; +import org.semanticweb.owlapi.model.OWLAxiom; +import org.semanticweb.owlapi.model.OWLClass; +import org.semanticweb.owlapi.model.OWLClassExpression; +import org.semanticweb.owlapi.model.OWLDataProperty; +import org.semanticweb.owlapi.model.OWLDataPropertyExpression; +import org.semanticweb.owlapi.model.OWLDatatype; +import org.semanticweb.owlapi.model.OWLEntity; +import org.semanticweb.owlapi.model.OWLEntityVisitor; +import org.semanticweb.owlapi.model.OWLEntityVisitorEx; +import org.semanticweb.owlapi.model.OWLIndividual; +import org.semanticweb.owlapi.model.OWLIndividualVisitor; +import org.semanticweb.owlapi.model.OWLIndividualVisitorEx; +import org.semanticweb.owlapi.model.OWLLiteral; +import org.semanticweb.owlapi.model.OWLNamedIndividual; +import org.semanticweb.owlapi.model.OWLNamedObjectVisitor; +import org.semanticweb.owlapi.model.OWLObject; +import org.semanticweb.owlapi.model.OWLObjectProperty; +import org.semanticweb.owlapi.model.OWLObjectPropertyExpression; +import org.semanticweb.owlapi.model.OWLObjectVisitor; +import org.semanticweb.owlapi.model.OWLObjectVisitorEx; +import org.semanticweb.owlapi.model.OWLOntology; + +class VariableIndividual implements OWLNamedIndividual { + + /** + * + */ + private static final long serialVersionUID = 3002966246639516395L; + Variable var; + + public VariableIndividual(Variable v) { + var = v; + } + + @Override + public boolean isNamed() { + // TODO Auto-generated method stub + return false; + } + + @Override + public boolean isAnonymous() { + // TODO Auto-generated method stub + return false; + } + + @Override + public OWLNamedIndividual asOWLNamedIndividual() { + // TODO Auto-generated method stub + return null; + } + + @Override + public OWLAnonymousIndividual asOWLAnonymousIndividual() { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getTypes(OWLOntology ontology) { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getTypes(Set ontologies) { + // TODO Auto-generated method stub + return null; + } + + @Override + public Map> getObjectPropertyValues( + OWLOntology ontology) { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getObjectPropertyValues( + OWLObjectPropertyExpression property, OWLOntology ontology) { + // TODO Auto-generated method stub + return null; + } + + @Override + public boolean hasObjectPropertyValue(OWLObjectPropertyExpression property, + OWLIndividual individual, OWLOntology ontology) { + // TODO Auto-generated method stub + return false; + } + + @Override + public boolean hasDataPropertyValue(OWLDataPropertyExpression property, + OWLLiteral value, OWLOntology ontology) { + // TODO Auto-generated method stub + return false; + } + + @Override + public boolean hasNegativeObjectPropertyValue( + OWLObjectPropertyExpression property, OWLIndividual individual, + OWLOntology ontology) { + // TODO Auto-generated method stub + return false; + } + + @Override + public Map> getNegativeObjectPropertyValues( + OWLOntology ontology) { + // TODO Auto-generated method stub + return null; + } + + @Override + public Map> getDataPropertyValues( + OWLOntology ontology) { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getDataPropertyValues( + OWLDataPropertyExpression property, OWLOntology ontology) { + // TODO Auto-generated method stub + return null; + } + + @Override + public Map> getNegativeDataPropertyValues( + OWLOntology ontology) { + // TODO Auto-generated method stub + return null; + } + + @Override + public boolean hasNegativeDataPropertyValue( + OWLDataPropertyExpression property, OWLLiteral literal, + OWLOntology ontology) { + // TODO Auto-generated method stub + return false; + } + + @Override + public Set getSameIndividuals(OWLOntology ontology) { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getDifferentIndividuals(OWLOntology ontology) { + // TODO Auto-generated method stub + return null; + } + + @Override + public String toStringID() { + // TODO Auto-generated method stub + return null; + } + + @Override + public void accept(OWLIndividualVisitor visitor) { + // TODO Auto-generated method stub + + } + + @Override + public O accept(OWLIndividualVisitorEx visitor) { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getSignature() { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getAnonymousIndividuals() { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getClassesInSignature() { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getDataPropertiesInSignature() { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getObjectPropertiesInSignature() { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getIndividualsInSignature() { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getDatatypesInSignature() { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getNestedClassExpressions() { + // TODO Auto-generated method stub + return null; + } + + @Override + public void accept(OWLObjectVisitor visitor) { + // TODO Auto-generated method stub + + } + + @Override + public O accept(OWLObjectVisitorEx visitor) { + // TODO Auto-generated method stub + return null; + } + + @Override + public boolean isTopEntity() { + // TODO Auto-generated method stub + return false; + } + + @Override + public boolean isBottomEntity() { + // TODO Auto-generated method stub + return false; + } + + @Override + public int compareTo(OWLObject arg0) { + // TODO Auto-generated method stub + return 0; + } + + @Override + public boolean containsEntityInSignature(OWLEntity owlEntity) { + // TODO Auto-generated method stub + return false; + } + + @Override + public EntityType getEntityType() { + // TODO Auto-generated method stub + return null; + } + + @Override + public E getOWLEntity(EntityType entityType) { + // TODO Auto-generated method stub + return null; + } + + @Override + public boolean isType(EntityType entityType) { + // TODO Auto-generated method stub + return false; + } + + @Override + public Set getAnnotations(OWLOntology ontology) { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getAnnotations(OWLOntology ontology, + OWLAnnotationProperty annotationProperty) { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getAnnotationAssertionAxioms( + OWLOntology ontology) { + // TODO Auto-generated method stub + return null; + } + + @Override + public boolean isBuiltIn() { + // TODO Auto-generated method stub + return false; + } + + @Override + public boolean isOWLClass() { + // TODO Auto-generated method stub + return false; + } + + @Override + public OWLClass asOWLClass() { + // TODO Auto-generated method stub + return null; + } + + @Override + public boolean isOWLObjectProperty() { + // TODO Auto-generated method stub + return false; + } + + @Override + public OWLObjectProperty asOWLObjectProperty() { + // TODO Auto-generated method stub + return null; + } + + @Override + public boolean isOWLDataProperty() { + // TODO Auto-generated method stub + return false; + } + + @Override + public OWLDataProperty asOWLDataProperty() { + // TODO Auto-generated method stub + return null; + } + + @Override + public boolean isOWLNamedIndividual() { + // TODO Auto-generated method stub + return false; + } + + @Override + public boolean isOWLDatatype() { + // TODO Auto-generated method stub + return false; + } + + @Override + public OWLDatatype asOWLDatatype() { + // TODO Auto-generated method stub + return null; + } + + @Override + public boolean isOWLAnnotationProperty() { + // TODO Auto-generated method stub + return false; + } + + @Override + public OWLAnnotationProperty asOWLAnnotationProperty() { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getReferencingAxioms(OWLOntology ontology) { + // TODO Auto-generated method stub + return null; + } + + @Override + public Set getReferencingAxioms(OWLOntology ontology, + boolean includeImports) { + // TODO Auto-generated method stub + return null; + } + + @Override + public void accept(OWLEntityVisitor visitor) { + // TODO Auto-generated method stub + + } + + @Override + public O accept(OWLEntityVisitorEx visitor) { + // TODO Auto-generated method stub + return null; + } + + @Override + public IRI getIRI() { + // TODO Auto-generated method stub + return null; + } + + @Override + public void accept(OWLNamedObjectVisitor visitor) { + // TODO Auto-generated method stub + + } + +} -- cgit v1.2.3