ProfileBasedExpressivityChecker (Openllet :: Core 2.6.5 API)

java.lang.Object
- openllet.core.expressivity.ProfileBasedExpressivityChecker

Direct Known Subclasses:

DLExpressivityChecker, ELExpressivityChecker
```
public abstract class ProfileBasedExpressivityChecker
extends java.lang.Object
```
Copyright: Copyright (c) 2008

Company: Clark & Parsia, LLC.

Author:

Harris Lin

Constructor Summary

Constructors
Constructor Description

ProfileBasedExpressivityChecker(KnowledgeBase kb)

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`abstract boolean`	`compute(Expressivity expressivity)`	Compute the expressivity from the `KnowledgeBase` and update it to the given `Expressivity`.
`abstract boolean`	`updateWith(Expressivity expressivity, openllet.aterm.ATermAppl term)`	Update the given `Expressivity` by adding the new @{link openllet.aterm.ATermAppl}.

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - ProfileBasedExpressivityChecker
```
public ProfileBasedExpressivityChecker(KnowledgeBase kb)
```
- Method Detail
  - compute
```
public abstract boolean compute(Expressivity expressivity)
```
    Compute the expressivity from the KnowledgeBase and update it to the given Expressivity.
    
    Parameters:
    
    expressivity -
    
    Returns:
    
    true if the expressivity is within the profile defined by the implementation, false otherwise.
  - updateWith
```
public abstract boolean updateWith(Expressivity expressivity,
                                   openllet.aterm.ATermAppl term)
```
    Update the given Expressivity by adding the new @{link openllet.aterm.ATermAppl}.
    
    Parameters:
    
    expressivity -
    
    term -
    
    Returns:
    
    true if the new expressivity is within the profile defined by the implementation, false otherwise.