Package | Description |
---|---|
org.semanticweb.ruqar.db | |
org.semanticweb.ruqar.owl | |
org.semanticweb.ruqar.rules | |
org.semanticweb.ruqar.transformations |
Modifier and Type | Method and Description |
---|---|
Rule |
DBMappingRule.createDBMappingRule()
Creates DBMappingRule in the ASRF notation.
|
static Rule |
DBMappingRule.createDBMappingRule(DBMapping mapping)
Creates DBMappingRule in the ASRF notation from a given
|
Modifier and Type | Method and Description |
---|---|
java.util.List<Rule> |
OWL2RLMetaRules.getRulesFromTable4()
Rules from Table 4 defined in W3C Recommendation http://www.w3.org/TR/owl2-profiles/#OWL_2_RL
The Semantics of Equality.
|
Constructor and Description |
---|
Rule(Rule rule)
Creates a copy of a given
|
Modifier and Type | Method and Description |
---|---|
java.util.List<Rule> |
OWLIntoRules.getAllOntologyAndSWRLAsRules()
Gets all (possible) generated rules from a given ontology with SWRL rules.
|
java.util.List<Rule> |
OWLIntoRules.getDomainPropertyRestrictionsAsRules()
Generates rules according to the set of domain restrictions in properties in a given ontology.
|
java.util.List<Rule> |
OWLIntoRules.getEquivalentClassesAsRules()
Generates rules according to the set of equivalent classes in a given ontology.
|
java.util.List<Rule> |
OWLIntoRules.getEquivalentPropertiesAsRules()
Generates rules according to the set of equivalent properties in a given ontology.
|
java.util.List<Rule> |
OWLIntoRules.getFunctionalPropertiesAsRules()
Generates rules according to the set of functional properties in a given ontology.
|
java.util.List<Rule> |
RulesIntoGoalDrivenRules.getGoalDrivenRules()
Gets transformed rules as a set of goal-driven rules.
|
java.util.List<Rule> |
RulesIntoGoalDrivenRules.getGoalDrivenRules(Rule rule)
Gets transformed rules as a set of goal-drive rules - these rules come from the transformation of a given rule.
|
java.util.List<Rule> |
OWLIntoRules.getHierarchyOfOWLClassesAsRules()
Generates rules according to the taxonomy of classes in a given ontology.
|
java.util.List<Rule> |
OWLIntoRules.getHierarchyOfOWLDatatypePropertiesAsRules()
Generates rules according to the taxonomy of datatype properties in a given ontology.
|
java.util.List<Rule> |
OWLIntoRules.getHierarchyOfOWLObjectPropertiesAsRules()
Generates rules according to the taxonomy of object properties in a given ontology.
|
java.util.List<Rule> |
OWLIntoRules.getInverseFunctionalPropertiesAsRules()
Generates rules according to the set of inverse functional properties in a given ontology.
|
java.util.List<Rule> |
OWLIntoRules.getInversePropertiesAsRules()
Generates rules according to the set of inverse properties in a given ontology.
|
java.util.List<Rule> |
OWLIntoRules.getRangePropertyRestrictionsAsRules()
Generates rules according to the set of range restrictions in properties in a given ontology.
|
java.util.List<Rule> |
OWLIntoRules.getSemanticsOfClassesAsRules()
Generates rules according to the set of classes in a given ontology.
|
java.util.List<Rule> |
OWLIntoRules.getSWRLRulesAsRules()
Generates rules according to the SWRL rules in a given ontology.
|
java.util.List<Rule> |
OWLIntoRules.getSymmetricPropertiesAsRules()
Generates rules according to the set of symmetric properties in a given ontology.
|
java.util.List<Rule> |
OWLIntoRules.getTransitivePropertiesAsRules()
Generates rules according to the set of transitive properties in a given ontology.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<Rule> |
RulesIntoGoalDrivenRules.getGoalDrivenRules(Rule rule)
Gets transformed rules as a set of goal-drive rules - these rules come from the transformation of a given rule.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<java.lang.String> |
RulesIntoJessRules.getTransformatedRules(java.util.List<Rule> rules) |
java.util.List<java.lang.String> |
RulesIntoDroolsRules.getTransformatedRules(java.util.List<Rule> rules) |
java.util.List<?> |
RulesInto.getTransformatedRules(java.util.List<Rule> rules)
Transforms all Rule into appropriate representation of rules expressed in the language of the reasoning engine.
|
Constructor and Description |
---|
RulesIntoGoalDrivenRules(java.util.List<Rule> rules)
Input rules have to be Horn clauses - only one atom in the head!
|