hovlanddag 

Represenation of Literals, Prefixes, IRIs etc.

For Rdf, reasoning and querying

For RL reasoning over DagSemTools.Datalog

DotNet representation of OWL 2 Ontology

Extracts axioms from Rdf into Owl Ontology

For parsing Rdf-1.2 Turtle

For acyclic ALC ontologies

For parsing Manchester Owl

For parsing Datalog

For Rdf, reasoning and querying

For semi-positive datalog rules over Rdf

For outputing Manchester Owl

Common parser library for Dag's SemTech Tools

Translations to and from the description logic ELI

For Tableau reasoning over DagSemTools.OwlOntology

For parsing Sparql-1.2