public void visit(OWLClassAssertionAxiom object) {
OWLClassExpression description = object.getClassExpression();
if (description instanceof OWLClass) {
AtomicConcept atomicConcept =
AtomicConcept.create(((OWLClass) description).getIRI().toString());
Atom atom = Atom.create(atomicConcept, getIndividual(object.getIndividual()));
Collection<OWLAxiom> originalAxioms = m_positiveFacts_map.get(atom);
if (originalAxioms == null) {
originalAxioms = new ArrayList<OWLAxiom>();
m_positiveFacts_map.put(atom, originalAxioms);
}
if (originalAxiom != null) originalAxioms.add(originalAxiom);
} else if (description instanceof OWLObjectComplementOf
&& ((OWLObjectComplementOf) description).getOperand() instanceof OWLClass) {
AtomicConcept atomicConcept =
AtomicConcept.create(
((OWLClass) ((OWLObjectComplementOf) description).getOperand())
.getIRI()
.toString());
Atom atom = Atom.create(atomicConcept, getIndividual(object.getIndividual()));
Collection<OWLAxiom> originalAxioms = m_negativeFacts_map.get(atom);
if (originalAxioms == null) {
originalAxioms = new ArrayList<OWLAxiom>();
m_negativeFacts_map.put(atom, originalAxioms);
}
if (originalAxiom != null) originalAxioms.add(originalAxiom);
} else if (description instanceof OWLObjectHasSelf) {
OWLObjectHasSelf self = (OWLObjectHasSelf) description;
Atom atom =
getRoleAtom(
self.getProperty(),
getIndividual(object.getIndividual()),
getIndividual(object.getIndividual()));
Collection<OWLAxiom> originalAxioms = m_positiveFacts_map.get(atom);
if (originalAxioms == null) {
originalAxioms = new ArrayList<OWLAxiom>();
m_positiveFacts_map.put(atom, originalAxioms);
}
if (originalAxiom != null) originalAxioms.add(originalAxiom);
} else if (description instanceof OWLObjectComplementOf
&& ((OWLObjectComplementOf) description).getOperand() instanceof OWLObjectHasSelf) {
OWLObjectHasSelf self =
(OWLObjectHasSelf) (((OWLObjectComplementOf) description).getOperand());
Atom atom =
getRoleAtom(
self.getProperty(),
getIndividual(object.getIndividual()),
getIndividual(object.getIndividual()));
Collection<OWLAxiom> originalAxioms = m_negativeFacts_map.get(atom);
if (originalAxioms == null) {
originalAxioms = new ArrayList<OWLAxiom>();
m_negativeFacts_map.put(atom, originalAxioms);
}
if (originalAxiom != null) originalAxioms.add(originalAxiom);
} else throw new IllegalStateException("Internal error: invalid normal form.");
}
public Atom visit(SWRLClassAtom atom) {
if (atom.getPredicate().isAnonymous())
throw new IllegalStateException(
"Internal error: SWRL rule class atoms should be normalized to contain only named classes, but this class atom has a complex concept: "
+ atom.getPredicate());
Variable variable = toVariable(atom.getArgument());
m_abstractVariables.add(variable);
return Atom.create(
AtomicConcept.create(atom.getPredicate().asOWLClass().getIRI().toString()), variable);
}