Spatio-Temporal UML Modeling and Verifying with Description Logic.
Fu ZhangDong-Xia CaoJingwei ChengPublished in: J. Inf. Sci. Eng. (2019)
Keyphrases
- description logics
- knowledge base
- modeling language
- computational properties
- uml class diagrams
- knowledge representation
- reasoning tasks
- reasoning problems
- dl lite
- snomed ct
- reasoning mechanism
- semantic web
- concept descriptions
- computing least common subsumers
- logical implication
- model theoretic
- reasoning systems
- metamodel
- owl ontologies
- model checking
- software systems
- object oriented
- relational databases
- ontology reasoning
- expert systems
- semantic web ontologies
- ontology languages
- software engineering
- artificial intelligence