owlcpp  v0.3.3~
C++ library for working with OWL ontologies
 All Classes Namespaces Files Functions Macros Pages
Public Member Functions | List of all members
owlcpp::Equivalent Class Reference

Test for equivalent concepts. More...

#include <predicate_fact.hpp>

Inheritance diagram for owlcpp::Equivalent:

Public Member Functions

 Equivalent (const TDLConceptExpression *ce, ReasoningKernel &kernel)
bool operator() (const ClassifiableEntry *ce) const

Additional Inherited Members

- Public Types inherited from owlcpp::CE_predicate
typedef CE_predicate type

Detailed Description

Test for equivalent concepts.

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