On the failure of the finite model property in some Fuzzy Description Logics-Reference-Cited by-同舟云学术

On the failure of the finite model property in some Fuzzy Description Logics

Published:2011-06 Issue:1 Volume:172 Page:1-12
ISSN:0165-0114
Container-title:Fuzzy Sets and Systems
language:en
Short-container-title:Fuzzy Sets and Systems

Author:

Bobillo Fernando,Bou Félix,Straccia Umberto

Publisher

Elsevier BV

Subject

Artificial Intelligence,Logic

Reference25 articles.

1. The complexity of McNaughton functions of one variable;Aguzzoli;Advances in Applied Mathematics,1998

2. The Description Logic Handbook: Theory, Implementation, and Applications;Baader,2003

3. An empirical analysis of optimization techniques for terminological representation systems or: making KRIS get a move on;Baader;Applied Artificial Intelligence,1994

4. F. Baader, I. Horrocks, U. Sattler, Description logics as ontology languages for the semantic web, in: D. Hutter, W. Stephan (Eds.), Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, Lecture Notes in Artificial Intelligence, vol. 2605, Springer-Verlag, 2005, pp. 228–248.

5. Modal Logic;Blackburn,2001

Cited by 28 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A fuzzy spatial description logic for the semantic web;Journal of Ambient Intelligence and Humanized Computing;2020-03-23

2. Description and reasoning for vague ontologies using logic programming;IET Software;2018-10

3. Fuzzy Description Logics – A Survey;Lecture Notes in Computer Science;2017

4. From Fuzzy to Annotated Semantic Web Languages;Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering;2017

5. MNiBLoS: A SMT-based solver for continuous t-norm based logics and some of their modal expansions;Information Sciences;2016-12