Optimising fuzzy description logic reasoners with general concept inclusion absorption

DOI10.1016/j.fss.2014.10.029zbMath1380.68351OpenAlexW2007013891MaRDI QIDQ1697336

Umberto Straccia, Fernando Bobillo

Publication date: 19 February 2018

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2014.10.029

zbMATH Keywords

optimizationfuzzy logicfuzzy ontologieslogic for the semantic webfuzzy description logics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (8)

Generalizing type-2 fuzzy ontologies and type-2 fuzzy description logics ⋮ The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm ⋮ Fuzzy OWL-Boost: learning fuzzy concept inclusions via real-valued boosting ⋮ From Fuzzy to Annotated Semantic Web Languages ⋮ All About Fuzzy Description Logics and Applications ⋮ MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions ⋮ Reasoning within fuzzy OWL 2 EL revisited ⋮ Editorial

Uses Software

• Fuzzydl

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On finitely-valued fuzzy description logics
• On the failure of the finite model property in some fuzzy description logics
• On the structure of semi-groups on a compact manifold with boundary
• On the scalability of description logic instance retrieval
• Fuzzy description logics with general t-norms and datatypes
• Metamathematics of fuzzy logic
• Optimizing terminological reasoning for expressive description logics
• On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
• The limits of decidability in fuzzy description logics with general concept inclusions
• A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms
• Optimized Reasoning in Description Logics Using Hypertableaux
• CRISP REPRESENTATIONS AND REASONING FOR FUZZY ONTOLOGIES
• JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS
• Fuzzy sets

This page was built for publication: Optimising fuzzy description logic reasoners with general concept inclusion absorption