Project

General

Profile

Feature #11

Feature #2: Full OWL support

Implement OWL query: unsat

Added by Thorsten Wißmann over 3 years ago.

Status:
New
Priority:
Normal
Start date:
04/22/2014
Due date:
% Done:

0%


Description

Find unsatisfiable classes in the ontology

Also available in: Atom PDF