Im checking class Satisfability in Konclude with :
Konclude satisfiability -i test.owl -x http://w3id.org/gbo/mgg#subtract_with_borrow Had the error message : {error} 17:51:30:123 >> Satisfiability checking failed.
With full Message:
{info} 17:51:29:794 >> Starting Konclude ...
{info} 17:51:29:794 >> Konclude - Uni Ulm Parallel Reasoner
{info} 17:51:29:794 >> Reasoner for the SROIQV(D) Description Logic, 64-bit, Version v0.7.0-1135 - 91b3e331 (Mar 16 2021)
{info} 17:51:29:798 >> Starting satisfiability checking for 'test.owl'.
{info} 17:51:29:798 >> Initializing reasoner. Creating calculation context.
{info} 17:51:29:798 >> Reasoner initialized with 1 processing unit(s).
{error} 17:51:29:828 >> OWL2/XML Ontology node not found.
{error} 17:51:30:010 >> Couldn't extract minimal required 2 Class-Expressions, extracted Class-Expressions 1.
{error} 17:51:30:010 >> Couldn't match parameters for 'SubClassOf'-Expression.
{error} 17:51:30:010 >> Couldn't extract minimal required 2 Class-Expressions, extracted Class-Expressions 1.
{error} 17:51:30:010 >> Couldn't match parameters for 'SubClassOf'-Expression.
{error} 17:51:30:010 >> Couldn't extract minimal required 2 Class-Expressions, extracted Class-Expressions 1.
{error} 17:51:30:010 >> Couldn't match parameters for 'SubClassOf'-Expression.
{error} 17:51:30:010 >> Couldn't extract minimal required 2 Class-Expressions, extracted Class-Expressions 1.
{error} 17:51:30:010 >> Couldn't match parameters for 'SubClassOf'-Expression.
{error} 17:51:30:010 >> Couldn't extract minimal required 2 Class-Expressions, extracted Class-Expressions 1.
{error} 17:51:30:010 >> Couldn't match parameters for 'SubClassOf'-Expression.
{error} 17:51:30:010 >> Couldn't extract minimal required 2 Class-Expressions, extracted Class-Expressions 1.
{error} 17:51:30:010 >> Couldn't match parameters for 'SubClassOf'-Expression.
{error} 17:51:30:010 >> Couldn't extract minimal required 2 Class-Expressions, extracted Class-Expressions 1.
{error} 17:51:30:010 >> Couldn't match parameters for 'SubClassOf'-Expression.
{error} 17:51:30:010 >> Couldn't extract minimal required 2 Class-Expressions, extracted Class-Expressions 1.
{error} 17:51:30:010 >> Couldn't match parameters for 'SubClassOf'-Expression.
{error} 17:51:30:010 >> Couldn't extract minimal required 2 Class-Expressions, extracted Class-Expressions 1.
{error} 17:51:30:010 >> Couldn't match parameters for 'SubClassOf'-Expression.
{error} 17:51:30:010 >> Couldn't extract minimal required 2 Class-Expressions, extracted Class-Expressions 1.
{error} 17:51:30:010 >> Couldn't match parameters for 'SubClassOf'-Expression.
{info} 17:51:30:049 >> Preprocessing ontology 'http://konclude.com/test/kb'.
{info} 17:51:30:097 >> Finished preprocessing in 48 ms for ontology 'http://konclude.com/test/kb'.
{info} 17:51:30:098 >> Precomputing ontology 'http://konclude.com/test/kb', expressiveness 'SHIQ'.
{info} 17:51:30:122 >> Finished precomputing in 24 ms for ontology 'http://konclude.com/test/kb'.
{error} 17:51:30:122 >> 'Individual-Precomputing' processing step failed.
{error} 17:51:30:122 >> 'Consistency-Checking' processing step failed.
{error} 17:51:30:122 >> Saturation of specified concept failed.
{info} 17:51:30:122 >> Requirements for ontology 'http://konclude.com/test/kb' not satisfied.
{info} 17:51:30:122 >> Ontology 'http://konclude.com/test/kb' for Query 'UnnamedSatisfiabilityQuery' is inconsistent.
{info} 17:51:30:122 >> Ontology 'http://konclude.com/test/kb' for Query 'UnnamedSatisfiabilityQuery' is inconsistent.
{info} 17:51:30:122 >> Ontology 'http://konclude.com/test/kb' for Query
'UnnamedSatisfiabilityQuery' is inconsistent.
{error} 17:51:30:123 >> Satisfiability checking failed.
Does anyone know whats going on?
