First ALC release
Past due by over 9 years
25% complete
For the first release the reasoner must be fully functional for the following reasoning tasks:
- Consistency Checking
- Classification
- Realization
Also, the reasoner must be able to understand an ALC subset of OWL 2.
The reasoner must be able to parse the functional-style syntax.
For the first release the reasoner must be fully functional for the following reasoning tasks:
- Consistency Checking
- Classification
- Realization
Also, the reasoner must be able to understand an ALC subset of OWL 2.
The reasoner must be able to parse the functional-style syntax.