|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.unika.aifb.owltools.api
public class api
All functionality of the owl tools is bundled here for simple usage in own programs
Constructor Summary | |
---|---|
api()
|
Method Summary | |
---|---|
static int |
count(org.semanticweb.kaon2.api.Ontology ontology)
Counts the number of axioms in an ontology |
static int |
count(org.semanticweb.kaon2.api.Ontology ontology,
java.lang.Class filter)
Counts the number of axioms of a specific kind in an ontology |
static int |
countEntities(org.semanticweb.kaon2.api.Ontology ontology)
Counts the number of entities in an ontology |
static int |
countEntities(org.semanticweb.kaon2.api.Ontology ontology,
java.lang.Class filter)
Counts the number of entities of a specific kind in an ontology |
static void |
demeta(org.semanticweb.kaon2.api.Ontology metaontology,
org.semanticweb.kaon2.api.Ontology ontology)
Creates a concrete ontology from a metaontology |
static void |
diff(org.semanticweb.kaon2.api.Ontology base,
org.semanticweb.kaon2.api.Ontology diff,
org.semanticweb.kaon2.api.Ontology result)
Gets the difference between two ontologies. |
static java.util.List<java.lang.String> |
dump(org.semanticweb.kaon2.api.Ontology ontology)
Returns a list of all axioms in the ontology. |
static java.util.List<java.lang.String> |
dump(org.semanticweb.kaon2.api.Ontology ontology,
java.lang.Class filter)
Returns a list of all axioms of a certain kind. |
static java.util.List<java.lang.String> |
dumpEntities(org.semanticweb.kaon2.api.Ontology ontology)
Returns a list of all entities mentioned in the ontology |
static java.util.List<java.lang.String> |
dumpEntities(org.semanticweb.kaon2.api.Ontology ontology,
java.lang.Class filter)
List all entities of a specified type |
static org.semanticweb.kaon2.api.Ontology |
filter(org.semanticweb.kaon2.api.Ontology ontology,
java.lang.Class filter)
Filters an ontology by only leaving axioms of a certain kind inside the ontology |
static org.semanticweb.kaon2.api.Ontology |
filterOut(org.semanticweb.kaon2.api.Ontology ontology,
java.lang.Class filter)
Filters an ontology be removing all axioms of a certain kind from the ontology |
static java.util.List<java.lang.String> |
latex(org.semanticweb.kaon2.api.Ontology ontology)
Creates a latex serialization of an ontology. |
static org.semanticweb.kaon2.api.Ontology |
luna(org.semanticweb.kaon2.api.Ontology ontology)
Adds an axiom to an ontology that makes all the individuals in the ontology mutually different. |
static void |
merge(org.semanticweb.kaon2.api.Ontology one,
org.semanticweb.kaon2.api.Ontology two,
org.semanticweb.kaon2.api.Ontology result)
Merges two ontologies. |
static void |
meta(org.semanticweb.kaon2.api.Ontology ontology,
org.semanticweb.kaon2.api.Ontology metaontology)
Creates a metaontology of an ontology based on the OWL Metamodel. |
static org.semanticweb.kaon2.api.Ontology |
populate(org.semanticweb.kaon2.api.Ontology ontology,
int instances)
Populates an ontology with random instances |
static boolean |
satisfiable(org.semanticweb.kaon2.api.Ontology ontology)
Checks if an ontology is logically satisfiable |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public api()
Method Detail |
---|
public static int count(org.semanticweb.kaon2.api.Ontology ontology) throws org.semanticweb.kaon2.api.KAON2Exception
ontology
- The ontology to be counted
org.semanticweb.kaon2.api.KAON2Exception
public static int count(org.semanticweb.kaon2.api.Ontology ontology, java.lang.Class filter) throws org.semanticweb.kaon2.api.KAON2Exception
ontology
- The ontology to be countedfilter
- The kind of axioms to be counted. Must be one of org.semanticweb.kaon2.api.owl.axioms
org.semanticweb.kaon2.api.KAON2Exception
public static int countEntities(org.semanticweb.kaon2.api.Ontology ontology) throws org.semanticweb.kaon2.api.KAON2Exception
ontology
- The ontology to be counted
org.semanticweb.kaon2.api.KAON2Exception
public static int countEntities(org.semanticweb.kaon2.api.Ontology ontology, java.lang.Class filter) throws org.semanticweb.kaon2.api.KAON2Exception
ontology
- The ontology to be countedfilter
- The kind of entities to be counted. Must be one of org.semanticweb.kaon2.api.owl.elements
org.semanticweb.kaon2.api.KAON2Exception
public static java.util.List<java.lang.String> dump(org.semanticweb.kaon2.api.Ontology ontology) throws org.semanticweb.kaon2.api.KAON2Exception
ontology
- The ontology to be listed
org.semanticweb.kaon2.api.KAON2Exception
public static java.util.List<java.lang.String> dump(org.semanticweb.kaon2.api.Ontology ontology, java.lang.Class filter) throws org.semanticweb.kaon2.api.KAON2Exception
ontology
- The ontology to be listed fromfilter
- The kind of axioms to be listed. Must be one of org.semanticweb.kaon2.api.owl.axioms
org.semanticweb.kaon2.api.KAON2Exception
public static java.util.List<java.lang.String> dumpEntities(org.semanticweb.kaon2.api.Ontology ontology) throws org.semanticweb.kaon2.api.KAON2Exception
ontology
- The ontology to be listed from
org.semanticweb.kaon2.api.KAON2Exception
public static java.util.List<java.lang.String> dumpEntities(org.semanticweb.kaon2.api.Ontology ontology, java.lang.Class filter) throws org.semanticweb.kaon2.api.KAON2Exception
ontology
- The ontology to be listed fromfilter
- The kind of entities to be counted. Must be one of org.semanticweb.kaon2.api.owl.elements
org.semanticweb.kaon2.api.KAON2Exception
public static org.semanticweb.kaon2.api.Ontology filter(org.semanticweb.kaon2.api.Ontology ontology, java.lang.Class filter) throws org.semanticweb.kaon2.api.KAON2Exception
ontology
- The ontology to be filteredfilter
- The axiomtype to remain in the ontology
org.semanticweb.kaon2.api.KAON2Exception
public static org.semanticweb.kaon2.api.Ontology filterOut(org.semanticweb.kaon2.api.Ontology ontology, java.lang.Class filter) throws org.semanticweb.kaon2.api.KAON2Exception
ontology
- The ontology to be filteredfilter
- The axiomtype to be removed from the ontology
org.semanticweb.kaon2.api.KAON2Exception
public static void diff(org.semanticweb.kaon2.api.Ontology base, org.semanticweb.kaon2.api.Ontology diff, org.semanticweb.kaon2.api.Ontology result) throws org.semanticweb.kaon2.api.KAON2Exception
base
- The ontology to compare todiff
- The ontology with the extra axiomsresult
- The ontology that holds all the extra axioms in diff but not in base
org.semanticweb.kaon2.api.KAON2Exception
public static java.util.List<java.lang.String> latex(org.semanticweb.kaon2.api.Ontology ontology) throws org.semanticweb.kaon2.api.KAON2Exception
ontology
- The ontology to be tex'ed
org.semanticweb.kaon2.api.KAON2Exception
public static org.semanticweb.kaon2.api.Ontology luna(org.semanticweb.kaon2.api.Ontology ontology) throws org.semanticweb.kaon2.api.KAON2Exception
ontology
- Ontology to be locally una'd.
org.semanticweb.kaon2.api.KAON2Exception
public static void merge(org.semanticweb.kaon2.api.Ontology one, org.semanticweb.kaon2.api.Ontology two, org.semanticweb.kaon2.api.Ontology result) throws org.semanticweb.kaon2.api.KAON2Exception
one
- One of the ontologiestwo
- The other ontologyresult
- The merged ontology
org.semanticweb.kaon2.api.KAON2Exception
public static void meta(org.semanticweb.kaon2.api.Ontology ontology, org.semanticweb.kaon2.api.Ontology metaontology) throws org.semanticweb.kaon2.api.KAON2Exception
ontology
- The ontology to be meta'dmetaontology
- The returned metaontology of the given ontology
org.semanticweb.kaon2.api.KAON2Exception
public static void demeta(org.semanticweb.kaon2.api.Ontology metaontology, org.semanticweb.kaon2.api.Ontology ontology) throws org.semanticweb.kaon2.api.KAON2Exception, java.lang.InterruptedException
metaontology
- The metaontology that holds the concrete ontologyontology
- The returned concrete ontology
org.semanticweb.kaon2.api.KAON2Exception
java.lang.InterruptedException
public static org.semanticweb.kaon2.api.Ontology populate(org.semanticweb.kaon2.api.Ontology ontology, int instances) throws org.semanticweb.kaon2.api.KAON2Exception
ontology
- The ontology to be populatedinstances
- The number of instances to be added
org.semanticweb.kaon2.api.KAON2Exception
public static boolean satisfiable(org.semanticweb.kaon2.api.Ontology ontology) throws org.semanticweb.kaon2.api.KAON2Exception, java.lang.InterruptedException
ontology
- The ontology to be checked
org.semanticweb.kaon2.api.KAON2Exception
java.lang.InterruptedException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |