Results

Input file: Text area
OWL Species: DL
DL Expressivity: ALC
Consistent: Yes
Time: 1291 ms (Loading: 1196 Preprocessing: 0 Species Validation: 56 Consistency: 18 Classification: 20 Realization: 1 )

Unsatisfiable Concepts
example.com:C

Classification:

owl:Thing

example.com:B

example.com:A

owl:Nothing = example.com:C

Non OWL-Lite features used:
Disjoint Classes: owl:disjointWith construct is used DisjointClasses(example.com:B example.com:A)
Disjoint Classes: owl:disjointWith construct is used DisjointClasses(example.com:A example.com:B)

Name:
Your email:
Description:

Results

Think these results are wrong? Let us know.