From Fuzzy to Annotated Semantic Web Languages
From MaRDI portal
Publication:2970305
DOI10.1007/978-3-319-49493-7_6zbMath1358.68031arXiv1811.05724OpenAlexW2590330502MaRDI QIDQ2970305
Umberto Straccia, Fernando Bobillo
Publication date: 30 March 2017
Published in: Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1811.05724
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37) Internet topics (68M11)
Related Items
Uses Software
Cites Work
- Generalized fuzzy rough description logics
- On the failure of the finite model property in some fuzzy description logics
- Semantic decision making using ontology-based soft sets
- An annotated logic theorem prover for an extended possibilistic logic
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
- A top-\(k\) query answering procedure for fuzzy logic programming
- On the structure of semi-groups on a compact manifold with boundary
- Fuzzy description logics under Gödel semantics
- Description logic programs under probabilistic uncertainty and fuzzy vagueness
- Extending soft sets with description logics
- Fuzzy extensions of OWL: logical properties and reduction to fuzzy description logics
- Reasoning with rough description logics: An approximate concepts approach
- Conceptual querying through ontologies
- Fuzzy description logics with general t-norms and datatypes
- Reasoning within expressive fuzzy rough description logics
- The implementation of FPROLOG - a fuzzy PROLOG interpreter
- Fundamentals of Fuzzy Prolog
- Pseudo-Boolean valued Prolog
- Fuzzy sets and systems. Theory and applications
- Metamathematics of fuzzy logic
- Fixed point theorems in logic programming
- Uncertain deductive databases: a hybrid approach
- Annotated fuzzy logic programs
- Fixpoint semantics for logic programming a survey
- Approximate reasoning by similarity-based SLD resolution.
- Optimising fuzzy description logic reasoners with general concept inclusion absorption
- Uniform semantic treatment of default and autoepistemic logics
- Clausal logic and logic programming in algebraic domains
- Similarity-based unification: A multi-adjoint approach
- A neural implementation of multi-adjoint logic programming
- Possibility theory, probability theory and multiple-valued logics: a clarification
- Termination of logic programs with imperfect information: applications and query procedure
- Making fuzzy description logic more general
- Reasoning within intuitionistic fuzzy rough description logics
- Any-world assumptions in logic programming
- Logic programming with signs and annotations
- A Logic-based Computational Method for the Automated Induction of Fuzzy Ontology Axioms
- How Fuzzy Is My Fuzzy Description Logic?
- A FOIL-Like Method for Learning under Incompleteness and Vagueness
- Towards Learning Fuzzy DL Inclusion Axioms
- On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm
- Learning in Description Logics with Fuzzy Concrete Domains
- FUZZY ONTOLOGY ALIGNMENT USING BACKGROUND KNOWLEDGE
- A model of multimedia information retrieval
- A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
- Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
- Integrated Query Answering with Weighted Fuzzy Rules
- Towards Top-k Query Answering in Description Logics: The Case of DL-Lite
- Some Complexity Results on Fuzzy Description Logics
- DEFINITION AND ADAPTATION OF WEIGHTED FUZZY LOGIC PROGRAMS
- Supporting Fuzzy Rough Sets in Fuzzy Description Logics
- Reasoning and Quantification in Fuzzy Description Logics
- On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs
- A kripke-kleene semantics for logic programs*
- Quantitative deduction and its fixpoint theory
- Fuzzy modus ponens: A new model suitable for applications in knowledge-based systems
- Bilattices and the semantics of logic programming
- The family of stable models
- JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS
- A parameterised hierarchy of argumentation semantics for extended logic programming and its application to the well-founded semantics
- Logic Programming
- DESCRIPTION LOGICS OVER LATTICES
- Mathematical Foundations of Computer Science 2004
- Logics in Artificial Intelligence
- Logics in Artificial Intelligence
- Mathematical Foundations of Computer Science 2003
- Towards Vague Query Answering in Logic Programming for Logic-Based Information Retrieval
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- Epistemic foundation of stable model semantics
- Finite Fuzzy Description Logics and Crisp Representations
- Fuzzy sets
- SOFSEM 2004: Theory and Practice of Computer Science
- Fuzzy logic programming
- Fuzzy logic programming
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item