Inconsistency-tolerant reasoning with OWL DL.
Xiaowang ZhangGuohui XiaoZuoquan LinJan Van den BusschePublished in: Int. J. Approx. Reason. (2014)
Keyphrases
- owl dl
- reasoning systems
- expressive description logics
- description logics
- reasoning problems
- semantic web
- domain ontology
- fuzzy description logics
- web ontology language
- reasoning services
- ontology languages
- automated reasoning
- knowledge base
- owl dl ontology
- reasoning tasks
- knowledge representation
- computational properties
- semi automatic
- information systems
- artificial intelligence
- decision procedures
- fuzzy ontology