Module src.olaaaf.domainKnowledge.domainKnowledge

Abstract class, representing a domain knowledge.

Classes

class DomainKnowledge

Abstract class, representing a domain knowledge.

Expand source code

class DomainKnowledge(ABC):
    """
    Abstract class, representing a domain knowledge.
    """
    
    @abstractmethod
    def toConstraints(self) -> Formula:
        """
        Converts the domain knowledge object to constraints.
        
        Returns
        -------
        `olaaaf.formula.formula.Formula`
            The formula representing the domain knowledges.
        """
        pass

    @abstractmethod
    def inferFrom(self, psi: Formula) -> Formula:
        """
        Infer new knowledges from a given formula using the domain knowledges.

        Parameters
        ----------
        psi: `olaaaf.formula.formula.Formula`
            The formula to infer from.

        Returns
        -------
        `olaaaf.formula.formula.Formula`
            The inferred formula.
        """
        pass

Ancestors

• abc.ABC

Subclasses

• ConversionKnowledge
• ExistenceKnowledge
• MiscellanousDomainKnowledge
• Taxonomy

Methods

def inferFrom(self, psi: Formula) ‑> Formula

Infer new knowledges from a given formula using the domain knowledges.

Parameters

psi : olaaaf.formula.formula.Formula

The formula to infer from.

Returns

olaaaf.formula.formula.Formula The inferred formula.

def toConstraints(self) ‑> Formula

Converts the domain knowledge object to constraints.

Returns

olaaaf.formula.formula.Formula The formula representing the domain knowledges.