2ronwalf/*
2ronwalf * Created on Apr 6, 2005
2ronwalf */
2ronwalfpackage org.mindswap.swrl;
2ronwalf
2ronwalfimport java.net.URI;
2ronwalf
2ronwalfimport org.mindswap.owl.OWLClass;
2ronwalfimport org.mindswap.owl.OWLDataProperty;
2ronwalfimport org.mindswap.owl.OWLIndividual;
2ronwalfimport org.mindswap.owl.OWLObjectProperty;
2ronwalfimport org.mindswap.owl.OWLOntology;
2ronwalfimport org.mindswap.owl.OWLValue;
2ronwalf
2ronwalf/**
2ronwalf * @author Evren Sirin
2ronwalf *
2ronwalf */
2ronwalfpublic interface SWRLFactory {
2ronwalf public OWLOntology getOntology();
2ronwalf
2ronwalf public AtomList createList();
2ronwalf public AtomList createList(Atom atom);
2ronwalf
2ronwalf public ClassAtom createClassAtom(OWLClass c, SWRLIndividualObject arg);
2ronwalf public ClassAtom createClassAtom(OWLClass c, OWLIndividual arg);
2ronwalf public ClassAtom createAtom(OWLClass c, OWLIndividual arg);
2ronwalf
2ronwalf public IndividualPropertyAtom createIndividualPropertyAtom(OWLObjectProperty p, SWRLIndividualObject arg1, SWRLIndividualObject arg2);
2ronwalf public IndividualPropertyAtom createIndividualPropertyAtom(OWLObjectProperty p, OWLIndividual arg1, OWLIndividual arg2);
2ronwalf public IndividualPropertyAtom createAtom(OWLObjectProperty p, OWLIndividual arg1, OWLIndividual arg2);
2ronwalf
2ronwalf public DataPropertyAtom createDataPropertyAtom(OWLDataProperty p, SWRLIndividualObject arg1, SWRLDataObject arg2);
2ronwalf public DataPropertyAtom createDataPropertyAtom(OWLDataProperty p, OWLIndividual arg1, OWLValue arg2);
2ronwalf public DataPropertyAtom createAtom(OWLDataProperty p, OWLIndividual arg1, OWLValue arg2);
2ronwalf
2ronwalf public SameIndividualAtom createSameIndividualAtom(SWRLIndividualObject arg1, SWRLIndividualObject arg2);
2ronwalf public SameIndividualAtom createSameIndividualAtom(OWLIndividual arg1, OWLIndividual arg2);
2ronwalf
2ronwalf public DifferentIndividualsAtom createDifferentIndividualsAtom(SWRLIndividualObject arg1, SWRLIndividualObject arg2);
2ronwalf public DifferentIndividualsAtom createDifferentIndividualsAtom(OWLIndividual arg1, OWLIndividual arg2);
2ronwalf
2ronwalf public BuiltinAtom createEqual(SWRLDataObject arg1, SWRLDataObject arg2);
2ronwalf public BuiltinAtom createNotEqual(SWRLDataObject arg1, SWRLDataObject arg2);
2ronwalf public BuiltinAtom createLessThan(SWRLDataObject arg1, SWRLDataObject arg2);
2ronwalf public BuiltinAtom createLessThanOrEqual(SWRLDataObject arg1, SWRLDataObject arg2);
2ronwalf public BuiltinAtom createGreaterThan(SWRLDataObject arg1, SWRLDataObject arg2);
2ronwalf public BuiltinAtom createGreaterThanOrEqual(SWRLDataObject arg1, SWRLDataObject arg2);
2ronwalf
2ronwalf public BuiltinAtom createAdd(OWLValue result, OWLValue arg1, OWLValue arg2);
2ronwalf public BuiltinAtom createSubtract(OWLValue result, OWLValue arg1, OWLValue arg2);
2ronwalf public BuiltinAtom createMultiply(OWLValue result, OWLValue arg1, OWLValue arg2);
2ronwalf public BuiltinAtom createDivide(OWLValue result, OWLValue arg1, OWLValue arg2);
2ronwalf
2ronwalf public SWRLIndividualVariable createIndividualVariable(URI uri);
2ronwalf public SWRLDataVariable createDataVariable(URI uri);
2ronwalf}