A four-valued semantics for terminological logics
Artificial Intelligence
Attributive concept descriptions with complements
Artificial Intelligence
A relevance terminological logic for information retrieval
SIGIR '96 Proceedings of the 19th annual international ACM SIGIR conference on Research and development in information retrieval
Logic of Information Structures
Logic of Information Structures
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
A Sequent Calculus for Reasoning in Four-Valued Description Logics
TABLEAUX '97 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Semantic forgetting in answer set programming
Artificial Intelligence
Algorithms for Paraconsistent Reasoning with OWL
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Temporal Description Logics: A Survey
TIME '08 Proceedings of the 2008 15th International Symposium on Temporal Representation and Reasoning
Paraconsistent Reasoning with Quasi-classical Semantic in $\mathcal{ALC}$
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Forgetting and uniform interpolation in large-scale description logic terminologies
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Forgetting concepts in DL-lite
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Runtime verification using a temporal description logic
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Hi-index | 0.00 |
Description logics have been studied as a logical foundation of web ontology languages. Interpolation theorems for description logics are known to be useful for extracting modular ontologies. In this paper, the interpolation theorems for two extended paraconsistent and temporal description logics are proved using some theorems for embedding these logics into a standard description logic.