hovlanddag 

For Rdf, reasoning and querying

Represenation of Literals, Prefixes, IRIs etc.

For RL reasoning over DagSemTools.Datalog

Extracts axioms from Rdf into Owl Ontology

DotNet representation of OWL 2 Ontology

For acyclic ALC ontologies

For Rdf, reasoning and querying

For parsing Manchester Owl

For parsing Rdf-1.2 Turtle

For parsing Datalog

Common parser library for AlcTableau

For semi-positive datalog rules over Rdf

For outputing Manchester Owl

Translations to and from the description logic ELI

For Tableau reasoning over DagSemTools.OwlOntology