An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC.
Xiaowang ZhangZhihu ZhangZuoquan LinPublished in: Description Logics (2009)
Keyphrases
- description logic alc
- modal logic
- description logics
- logic programming
- formal semantics
- machine learning
- specification language
- reasoning tasks
- semantic information
- temporal logic
- normal form
- logical language
- semantic representation
- computer mediated communication
- default reasoning
- database
- conceptual model
- expert systems
- metadata
- learning algorithm
- neural network
- databases