Menu

#27 Missing entails() method for DLReasoner.

open
nobody
None
5
2008-11-11
2008-11-11
baz bishop
No

There is no entails( <ground expression> ) method for DLReasoner.

There was one, but it was actually concept satisfiability and has been renamed accordingly.

The new entails() method will likely have to create a new private ontology with just the given ground expressiona and use one of the underlying reasoners' (pellet or kaon2) entailsOntology methods.

Discussion


Log in to post a comment.

MongoDB Logo MongoDB