org.mindswap.swrl
Interface SWRLFactory

public interface SWRLFactory

Author:

Evren Sirin

Method Summary

BuiltinAtom	createAdd(OWLValue result, OWLValue arg1, OWLValue arg2)
ClassAtom	createAtom(OWLClass c, OWLIndividual arg)
DataPropertyAtom	createAtom(OWLDataProperty p, OWLIndividual arg1, OWLValue arg2)
IndividualPropertyAtom	createAtom(OWLObjectProperty p, OWLIndividual arg1, OWLIndividual arg2)
ClassAtom	createClassAtom(OWLClass c, OWLIndividual arg)
ClassAtom	createClassAtom(OWLClass c, SWRLIndividualObject arg)
DataPropertyAtom	createDataPropertyAtom(OWLDataProperty p, OWLIndividual arg1, OWLValue arg2)
DataPropertyAtom	createDataPropertyAtom(OWLDataProperty p, SWRLIndividualObject arg1, SWRLDataObject arg2)
SWRLDataVariable	createDataVariable(java.net.URI uri)
DifferentIndividualsAtom	createDifferentIndividualsAtom(OWLIndividual arg1, OWLIndividual arg2)
DifferentIndividualsAtom	createDifferentIndividualsAtom(SWRLIndividualObject arg1, SWRLIndividualObject arg2)
BuiltinAtom	createDivide(OWLValue result, OWLValue arg1, OWLValue arg2)
BuiltinAtom	createEqual(SWRLDataObject arg1, SWRLDataObject arg2)
BuiltinAtom	createGreaterThan(SWRLDataObject arg1, SWRLDataObject arg2)
BuiltinAtom	createGreaterThanOrEqual(SWRLDataObject arg1, SWRLDataObject arg2)
IndividualPropertyAtom	createIndividualPropertyAtom(OWLObjectProperty p, OWLIndividual arg1, OWLIndividual arg2)
IndividualPropertyAtom	createIndividualPropertyAtom(OWLObjectProperty p, SWRLIndividualObject arg1, SWRLIndividualObject arg2)
SWRLIndividualVariable	createIndividualVariable(java.net.URI uri)
BuiltinAtom	createLessThan(SWRLDataObject arg1, SWRLDataObject arg2)
BuiltinAtom	createLessThanOrEqual(SWRLDataObject arg1, SWRLDataObject arg2)
AtomList	createList()
AtomList	createList(Atom atom)
BuiltinAtom	createMultiply(OWLValue result, OWLValue arg1, OWLValue arg2)
BuiltinAtom	createNotEqual(SWRLDataObject arg1, SWRLDataObject arg2)
SameIndividualAtom	createSameIndividualAtom(OWLIndividual arg1, OWLIndividual arg2)
SameIndividualAtom	createSameIndividualAtom(SWRLIndividualObject arg1, SWRLIndividualObject arg2)
BuiltinAtom	createSubtract(OWLValue result, OWLValue arg1, OWLValue arg2)
OWLOntology	getOntology()

Method Detail

getOntology

OWLOntology getOntology()

createList

AtomList createList()

createList

AtomList createList(Atom atom)

createClassAtom

ClassAtom createClassAtom(OWLClass c,
                          SWRLIndividualObject arg)

createClassAtom

ClassAtom createClassAtom(OWLClass c,
                          OWLIndividual arg)

createAtom

ClassAtom createAtom(OWLClass c,
                     OWLIndividual arg)

createIndividualPropertyAtom

IndividualPropertyAtom createIndividualPropertyAtom(OWLObjectProperty p,
                                                    SWRLIndividualObject arg1,
                                                    SWRLIndividualObject arg2)

createIndividualPropertyAtom

IndividualPropertyAtom createIndividualPropertyAtom(OWLObjectProperty p,
                                                    OWLIndividual arg1,
                                                    OWLIndividual arg2)

createAtom

IndividualPropertyAtom createAtom(OWLObjectProperty p,
                                  OWLIndividual arg1,
                                  OWLIndividual arg2)

createDataPropertyAtom

DataPropertyAtom createDataPropertyAtom(OWLDataProperty p,
                                        SWRLIndividualObject arg1,
                                        SWRLDataObject arg2)

createDataPropertyAtom

DataPropertyAtom createDataPropertyAtom(OWLDataProperty p,
                                        OWLIndividual arg1,
                                        OWLValue arg2)

createAtom

DataPropertyAtom createAtom(OWLDataProperty p,
                            OWLIndividual arg1,
                            OWLValue arg2)

createSameIndividualAtom

SameIndividualAtom createSameIndividualAtom(SWRLIndividualObject arg1,
                                            SWRLIndividualObject arg2)

createSameIndividualAtom

SameIndividualAtom createSameIndividualAtom(OWLIndividual arg1,
                                            OWLIndividual arg2)

createDifferentIndividualsAtom

DifferentIndividualsAtom createDifferentIndividualsAtom(SWRLIndividualObject arg1,
                                                        SWRLIndividualObject arg2)

createDifferentIndividualsAtom

DifferentIndividualsAtom createDifferentIndividualsAtom(OWLIndividual arg1,
                                                        OWLIndividual arg2)

createEqual

BuiltinAtom createEqual(SWRLDataObject arg1,
                        SWRLDataObject arg2)

createNotEqual

BuiltinAtom createNotEqual(SWRLDataObject arg1,
                           SWRLDataObject arg2)

createLessThan

BuiltinAtom createLessThan(SWRLDataObject arg1,
                           SWRLDataObject arg2)

createLessThanOrEqual

BuiltinAtom createLessThanOrEqual(SWRLDataObject arg1,
                                  SWRLDataObject arg2)

createGreaterThan

BuiltinAtom createGreaterThan(SWRLDataObject arg1,
                              SWRLDataObject arg2)

createGreaterThanOrEqual

BuiltinAtom createGreaterThanOrEqual(SWRLDataObject arg1,
                                     SWRLDataObject arg2)

createAdd

BuiltinAtom createAdd(OWLValue result,
                      OWLValue arg1,
                      OWLValue arg2)

createSubtract

BuiltinAtom createSubtract(OWLValue result,
                           OWLValue arg1,
                           OWLValue arg2)

createMultiply

BuiltinAtom createMultiply(OWLValue result,
                           OWLValue arg1,
                           OWLValue arg2)

createDivide

BuiltinAtom createDivide(OWLValue result,
                         OWLValue arg1,
                         OWLValue arg2)

createIndividualVariable

SWRLIndividualVariable createIndividualVariable(java.net.URI uri)

createDataVariable

SWRLDataVariable createDataVariable(java.net.URI uri)