|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.unika.aifb.owltools.tools.KAON2Tool
edu.unika.aifb.owltools.tools.DLPConvert
public class DLPConvert
DLPconvert is a tool to transform different syntactical representations of a DLP program into each other (refer to Raphael Volz, 2004). This is the main class that calls the actual transformation algorithms provided in KAON2 and in the other classes of this package.
Nested Class Summary | |
---|---|
static class |
DLPConvert.Format
Specifies the different possible formats that dlpconvert is able to serialise set of rules in. |
static class |
DLPConvert.IntegrityConstraintHandling
Possibilities of how to handle integrity constraints. |
Field Summary |
---|
Fields inherited from class edu.unika.aifb.owltools.tools.KAON2Tool |
---|
m_connection, printer |
Constructor Summary | |
---|---|
DLPConvert()
|
Method Summary | |
---|---|
java.util.Collection<org.semanticweb.kaon2.api.logic.Rule> |
addTransitivity(java.util.Collection<org.semanticweb.kaon2.api.logic.Rule> rules,
org.semanticweb.kaon2.api.Ontology ontology)
|
void |
compile()
|
static java.lang.String |
compileString(java.lang.String string,
java.lang.String dir)
Reads a string as an ontology and then converts this ontology. |
static java.lang.String |
compileToFlogic(java.lang.String uri)
Serializes the result in Flogic. |
static java.lang.String |
compileUri(java.lang.String uri,
java.lang.String dir)
Creates a DLPConversion based on an URI. |
org.semanticweb.kaon2.api.Ontology |
dlpconvert(org.semanticweb.kaon2.api.Ontology ontology)
Convenience interface, so you can easily work with ontologies without having to define a name for it. |
void |
dlpconvert(org.semanticweb.kaon2.api.Ontology in,
org.semanticweb.kaon2.api.Ontology out)
Creates an ontology consisting of the rules that KAON2's conversion to disjunctive datalog creates out of the given ontology. |
org.semanticweb.kaon2.api.Ontology |
dlpconvert(org.semanticweb.kaon2.api.Ontology ontology,
java.lang.String uri,
java.lang.String physicalUri)
Convenience interface. |
static void |
main(java.lang.String[] args)
Allows to start dlpconvert from the command line as well. |
java.lang.String |
name()
the name of the owl tool |
static void |
printUsage()
prints the command line parameters and a short info |
boolean |
processArguments(java.lang.String[] args)
Processes the command line parameters and sets the appropriate flags instead. |
org.semanticweb.kaon2.api.Ontology |
screech(org.semanticweb.kaon2.api.Ontology ontology)
Creates an ontology consisting of the rules that KAON2's converstion to disjunctive datalog creates. |
Methods inherited from class edu.unika.aifb.owltools.tools.KAON2Tool |
---|
endConnection, loadOntology, printUsageError |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public DLPConvert()
Method Detail |
---|
public java.lang.String name()
name
in class KAON2Tool
public static void main(java.lang.String[] args)
args
- command line parameterspublic boolean processArguments(java.lang.String[] args)
processArguments
in class KAON2Tool
args
- command line parameterspublic void dlpconvert(org.semanticweb.kaon2.api.Ontology in, org.semanticweb.kaon2.api.Ontology out) throws org.semanticweb.kaon2.api.KAON2Exception, java.lang.InterruptedException
in
- The ontology to be created.out
- The ontology that will hold the resulting rulebase.
org.semanticweb.kaon2.api.KAON2Exception
java.lang.InterruptedException
public org.semanticweb.kaon2.api.Ontology dlpconvert(org.semanticweb.kaon2.api.Ontology ontology, java.lang.String uri, java.lang.String physicalUri) throws org.semanticweb.kaon2.api.KAON2Exception, java.lang.InterruptedException
ontology
- Ontology to be converteduri
- the URI of the ontology to be createdphysicalUri
- where is the ontology physically saved
org.semanticweb.kaon2.api.KAON2Exception
- from KAON2's reduction
java.lang.InterruptedException
- from KAON2's reductionpublic org.semanticweb.kaon2.api.Ontology dlpconvert(org.semanticweb.kaon2.api.Ontology ontology) throws org.semanticweb.kaon2.api.KAON2Exception, java.lang.InterruptedException
ontology
- Ontology to be converted
org.semanticweb.kaon2.api.KAON2Exception
- from KAON2's reduction
java.lang.InterruptedException
- from KAON2's reductionpublic org.semanticweb.kaon2.api.Ontology screech(org.semanticweb.kaon2.api.Ontology ontology) throws org.semanticweb.kaon2.api.KAON2Exception, java.lang.InterruptedException
ontology
- the ontology to be converted
org.semanticweb.kaon2.api.KAON2Exception
- from KAON2
java.lang.InterruptedException
- from KAON2public java.util.Collection<org.semanticweb.kaon2.api.logic.Rule> addTransitivity(java.util.Collection<org.semanticweb.kaon2.api.logic.Rule> rules, org.semanticweb.kaon2.api.Ontology ontology) throws org.semanticweb.kaon2.api.KAON2Exception
org.semanticweb.kaon2.api.KAON2Exception
public void compile()
public static java.lang.String compileToFlogic(java.lang.String uri)
uri
- input uri of the ontology to be converted
public static java.lang.String compileUri(java.lang.String uri, java.lang.String dir)
uri
- uri of the ontology to be converteddir
- where to archive the requeste
public static java.lang.String compileString(java.lang.String string, java.lang.String dir)
string
- the ontology in string formdir
- the archive directory
public static void printUsage()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |