org.semanticweb.ruqar.transformations

Class OWLIntoRules

java.lang.Object

org.semanticweb.ruqar.transformations.OWLIntoRules

public class OWLIntoRules
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
OWLIntoRules(org.semanticweb.owlapi.model.OWLOntology ontology) Constructor: an is required.

Method Summary

Methods

Modifier and Type	Method and Description
java.util.List<Atom>	getAllAssertionsAsAtoms() Gets all class and property assertions from a given ontology.
java.util.List<Rule>	getAllOntologyAndSWRLAsRules() Gets all (possible) generated rules from a given ontology with SWRL rules.
java.util.List<Atom>	getClassAssertionsAsAtoms() Gets class assertions (data) from a given ontology.
java.util.List<Rule>	getDomainPropertyRestrictionsAsRules() Generates rules according to the set of domain restrictions in properties in a given ontology.
java.util.List<Rule>	getEquivalentClassesAsRules() Generates rules according to the set of equivalent classes in a given ontology.
java.util.List<Rule>	getEquivalentPropertiesAsRules() Generates rules according to the set of equivalent properties in a given ontology.
java.util.List<Rule>	getFunctionalPropertiesAsRules() Generates rules according to the set of functional properties in a given ontology.
java.util.List<Rule>	getHierarchyOfOWLClassesAsRules() Generates rules according to the taxonomy of classes in a given ontology.
java.util.List<Rule>	getHierarchyOfOWLDatatypePropertiesAsRules() Generates rules according to the taxonomy of datatype properties in a given ontology.
java.util.List<Rule>	getHierarchyOfOWLObjectPropertiesAsRules() Generates rules according to the taxonomy of object properties in a given ontology.
java.util.List<Rule>	getInverseFunctionalPropertiesAsRules() Generates rules according to the set of inverse functional properties in a given ontology.
java.util.List<Rule>	getInversePropertiesAsRules() Generates rules according to the set of inverse properties in a given ontology.
java.util.List<Atom>	getPropertyAssertionsAsAtoms() Gets object property and datatype property assertions (facts) from a given ontology.
java.util.List<Rule>	getRangePropertyRestrictionsAsRules() Generates rules according to the set of range restrictions in properties in a given ontology.
java.util.List<Rule>	getSemanticsOfClassesAsRules() Generates rules according to the set of classes in a given ontology.
java.util.List<Rule>	getSWRLRulesAsRules() Generates rules according to the SWRL rules in a given ontology.
java.util.List<Rule>	getSymmetricPropertiesAsRules() Generates rules according to the set of symmetric properties in a given ontology.
java.util.List<Rule>	getTransitivePropertiesAsRules() Generates rules according to the set of transitive properties in a given ontology.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

OWLIntoRules

public OWLIntoRules(org.semanticweb.owlapi.model.OWLOntology ontology)

Constructor: an is required.

Parameters:

ontology -

Method Detail

getAllAssertionsAsAtoms

public java.util.List<Atom> getAllAssertionsAsAtoms()

Gets all class and property assertions from a given ontology.

Returns:

getAllOntologyAndSWRLAsRules

public java.util.List<Rule> getAllOntologyAndSWRLAsRules()

Gets all (possible) generated rules from a given ontology with SWRL rules. All rules are DL-Safe.

Returns:

getClassAssertionsAsAtoms

public java.util.List<Atom> getClassAssertionsAsAtoms()

Gets class assertions (data) from a given ontology.

Returns:

getDomainPropertyRestrictionsAsRules

public java.util.List<Rule> getDomainPropertyRestrictionsAsRules()

Generates rules according to the set of domain restrictions in properties in a given ontology. Rules prp-dom from Table 5.

Returns:

getEquivalentClassesAsRules

public java.util.List<Rule> getEquivalentClassesAsRules()

Generates rules according to the set of equivalent classes in a given ontology. Rules cax-eqc1 and cax-eqc2 from Table 7. It also covers rules cls-int1, cls-int2 and cls-uni from Table6.

Returns:

getEquivalentPropertiesAsRules

public java.util.List<Rule> getEquivalentPropertiesAsRules()

Generates rules according to the set of equivalent properties in a given ontology. Rules prp-eqp1 and prp-eqp2 from Table 5.

Returns:

getFunctionalPropertiesAsRules

public java.util.List<Rule> getFunctionalPropertiesAsRules()

Generates rules according to the set of functional properties in a given ontology. Rules prp-fp from Table 5.

Returns:

getHierarchyOfOWLClassesAsRules

public java.util.List<Rule> getHierarchyOfOWLClassesAsRules()

Generates rules according to the taxonomy of classes in a given ontology.

Returns:

getHierarchyOfOWLDatatypePropertiesAsRules

public java.util.List<Rule> getHierarchyOfOWLDatatypePropertiesAsRules()

Generates rules according to the taxonomy of datatype properties in a given ontology.

Returns:

getHierarchyOfOWLObjectPropertiesAsRules

public java.util.List<Rule> getHierarchyOfOWLObjectPropertiesAsRules()

Generates rules according to the taxonomy of object properties in a given ontology.

Returns:

getInverseFunctionalPropertiesAsRules

public java.util.List<Rule> getInverseFunctionalPropertiesAsRules()

Generates rules according to the set of inverse functional properties in a given ontology. Rules prp-ifp from Table 5.

Returns:

getInversePropertiesAsRules

public java.util.List<Rule> getInversePropertiesAsRules()

Generates rules according to the set of inverse properties in a given ontology. Rules prp-inv1 and prp-inv2 from Table 5.

Returns:

getPropertyAssertionsAsAtoms

public java.util.List<Atom> getPropertyAssertionsAsAtoms()

Gets object property and datatype property assertions (facts) from a given ontology.

Returns:

getRangePropertyRestrictionsAsRules

public java.util.List<Rule> getRangePropertyRestrictionsAsRules()

Generates rules according to the set of range restrictions in properties in a given ontology. Rule prp-rng from Table 5.

Returns:

getSemanticsOfClassesAsRules

public java.util.List<Rule> getSemanticsOfClassesAsRules()

Generates rules according to the set of classes in a given ontology. Rules from Table 6. Some expressions in rules are supported by function.

Returns:

getSWRLRulesAsRules

public java.util.List<Rule> getSWRLRulesAsRules()

Generates rules according to the SWRL rules in a given ontology.

Returns:

getSymmetricPropertiesAsRules

public java.util.List<Rule> getSymmetricPropertiesAsRules()

Generates rules according to the set of symmetric properties in a given ontology. Rule prp-symp from Table 5.

Returns:

getTransitivePropertiesAsRules

public java.util.List<Rule> getTransitivePropertiesAsRules()

Generates rules according to the set of transitive properties in a given ontology. Rule prp-trp from Table 5.

Returns: