TDDonto2: A Test-Driven Development Plugin for Arbitrary TBox and ABox Axioms.
Kieren DaviesC. Maria KeetAgnieszka LawrynowiczPublished in: ESWC (Satellite Events) (2017)
Keyphrases
- description logics
- knowledge base
- test driven development
- dl lite
- computational properties
- expressive description logics
- owl ontologies
- software development
- first order logic
- terminological reasoning
- reasoning tasks
- medical terminology
- description logic knowledge base
- knowledge representation
- ontology languages
- expert systems
- machine learning
- web server
- reasoning systems
- semantic web
- owl dl
- website
- decision making