owlcpp::Can_relate Class Reference

Predicate tests whether class X can relate through a given property P to another given class C. More...

#include <predicate_fact.hpp>

Inheritance diagram for owlcpp::Can_relate:

Public Member Functions
	Can_relate (const TDLObjectRoleExpression *property, const TDLConceptExpression *c, ReasoningKernel &kernel)
	Can_relate (const std::string &property, const std::string &c, const Triple_store &store, ReasoningKernel &kernel)
bool	operator() (const TDLConceptExpression *x) const

Detailed Description

Predicate tests whether class X can relate through a given property P to another given class C.

Member Function Documentation

bool owlcpp::Can_relate::operator() ( const TDLConceptExpression *  x ) const

inlinevirtual

Returns

true if x.P(C) is satisfiable

Implements owlcpp::C_predicate.

---

The documentation for this class was generated from the following file:

• include/owlcpp/logic/predicate_fact.hpp