Detecting Inconsistencies between UML Models Using Description Logic.
Ragnhild Van Der StraetenJocelyn SimmondsTom MensPublished in: Description Logics (2003)
Keyphrases
- description logics
- uml models
- knowledge base
- knowledge representation
- reasoning tasks
- computational properties
- object oriented
- dl lite
- computing least common subsumers
- reasoning problems
- semantic web
- concept descriptions
- snomed ct
- test cases
- software engineering
- ontology languages
- logical implication
- ontology reasoning
- machine learning
- deductive databases
- expert systems
- training data
- sequence diagrams
- reasoning mechanism
- artificial intelligence