The main puprose of this project is to integrate and provide software stack for tasks related to:
Description Logic Semantic Web (Web 3.0) Formal methods Ontology engeeneering and presentation (graphs) Uniform Description Logic Language (UDLL) is the main interface language with Description Logic Reasoner. Supported DL reasoner is FACT++ from university of Menchester, which is reasoning over SROIQ(D) Description Logic dialect.
Use Patent Claims
Include Install Instructions
These details are provided for information only. No information here is legal advice and should not be used as such.