This is an additional RDFSharp layer expressively suited for:
- Creating OWL-DL ontologies (classes, restrictions, properties, individuals, assertions, annotations, ...)
- Validating them against an extensible set of intelligent semantic rules analyzing T-BOX and A-BOX
- Creating OWL-DL/SWRL reasoners with forward-chaining inference materialization capabilities
- Creating SKOS schemes (concepts, collections, relations, annotations, labels, ...)
Documentation of the library architecture and features is available here