Search results

Semantic locality checker is broken

Status: Open.

#11 In owlcs/owlapitools;

· tsarkov opened on Mar 10, 2015

Reasoner level interface for ad

Status: Open.

#10 In owlcs/owlapitools;

· ignazio1977 opened on Jun 9, 2014

Extract as interface for storing and decomposing

Status: Open.

#9 In owlcs/owlapitools;

· ignazio1977 opened on Jun 9, 2014

Add modularisation unit tests

Status: Open.

#8 In owlcs/owlapitools;

· ignazio1977 opened on Jun 9, 2014

Enum for different types of decomposition and jni translation

Status: Open.

#7 In owlcs/owlapitools;

· ignazio1977 opened on Jun 9, 2014

Support progress monitoring for atomic decomposition

enhancement

Status: Open.

#6 In owlcs/owlapitools;

· matthewhorridge opened on May 7, 2014

Eleni to share demost changes

Status: Open.

#5 In owlcs/owlapitools;

· ignazio1977 opened on Nov 15, 2013

Chiara to add code to replicate issues found in PhD tgesis

Status: Open.

#4 In owlcs/owlapitools;

· ignazio1977 opened on Nov 15, 2013

Generation of minimal models

enhancement

Status: Open.

#3 In owlcs/owlapitools;

· ignazio1977 opened on Oct 16, 2013

Add ABox partitioning for reasoning

enhancement

Status: Open.

#2 In owlcs/owlapitools;

· ignazio1977 opened on Sep 7, 2013