Using Description Logic to Maintain Consistency between UML Models.
Ragnhild Van Der StraetenTom MensJocelyn SimmondsViviane JonckersPublished in: UML (2003)
Keyphrases
- description logics
- uml models
- object oriented
- knowledge base
- sequence diagrams
- knowledge representation
- test cases
- computational properties
- dl lite
- logical implication
- concept descriptions
- reasoning problems
- reasoning mechanism
- reasoning tasks
- reasoning services
- number restrictions
- semantic web
- computing least common subsumers
- ontology languages
- databases
- refinement operators
- ontology reasoning