hovlanddag 

For Rdf, reasoning and querying

Extracts axioms from Rdf into Owl Ontology

Represenation of Literals, Prefixes, IRIs etc.

For acyclic ALC ontologies

For parsing Manchester Owl

DotNet representation of OWL 2 Ontology

For parsing Datalog

Common parser library for AlcTableau

For RL reasoning over DagSemTools.Datalog

For parsing Rdf-1.2 Turtle

For Rdf, reasoning and querying

Translations to and from the description logic ELI

For semi-positive datalog rules over Rdf

For outputing Manchester Owl