An extending description logic for action formalism in event ontology.
Wei LiuWenjie XuDong WangXujie ZhangZongtian LiuPublished in: Int. J. Comput. Sci. Eng. (2014)
Keyphrases
- description logics
- knowledge representation
- reasoning services
- reasoning mechanism
- ontology reasoning
- knowledge representation formalisms
- snomed ct
- semantic web
- knowledge base
- computational properties
- owl dl
- owl ontologies
- ontology mappings
- formal ontologies
- formal logic
- semantic mapping
- terminological knowledge
- conceptual graphs
- reasoning tasks
- web ontology language
- logic programming
- biomedical ontologies
- concept descriptions
- dl lite
- model theoretic
- ontology languages
- description logic programs
- daml oil
- expert systems
- computing least common subsumers
- automated reasoning
- first order logic
- machine learning
- natural language
- conceptual model
- knowledge representation languages
- query answering
- logical implication
- representation language
- rule language
- reasoning problems
- dl programs
- probabilistic reasoning
- conceptual modeling
- artificial intelligence