Description and reasoning for vague ontologies using logic programming

The Semantic Web ontologies can contain vague axioms, which means the knowledge about them is imprecise and then query answering will not possible due to the open world assumption if the necessary information is incomplete (there is an ignorance about information). An axiom description can be very exact (crisp axiom) or exact (fuzzy axiom) if its knowledge is complete, otherwise it is inexact (vague axiom) if its knowledge is incomplete. Here, the author proposes vagueness description with meta-level logic programming to describe vague ontologies. These vagueness descriptions are inputs to vagueness reasoning procedure implemented at meta-level, which is based on extended tableau algorithm. The extended tableau algorithm is intended to answer queries even with the presence of imprecise information.

• Publication year

  2018

• Venue

  IET Software

• Publication date

  2018-01-31

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1049/iet-sen.2017.0226
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Generalizing type-2 fuzzy ontologies and type-2 fuzzy description logics

  2017cited by this paper
• Decidability and Complexity of Fuzzy Description Logics

  2017cited by this paper
• The fuzzy ontology reasoner fuzzyDL

  2016cited by this paper
• Reasoning over Vague Concepts

  2015cited by this paper
• Consistency reasoning in lattice-based fuzzy Description Logics

  2014cited by this paper
• On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm

  2013cited by this paper
• Joining Gödel and Zadeh Fuzzy Logics in Fuzzy Description Logics

  2012cited by this paper
• Comparison of reasoners for large ontologies in the OWL 2 EL profile

  2011cited by this paper
• On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm

  2011cited by this paper
• On the Failure of the Finite Model Property in some Fuzzy Description Logics

  2010cited by this paper
• Fuzzy Ontology Representation using OWL 2

  2010cited by this paper
• Rough Sets

  2009cited by this paper
• Rough Set Theory : A new Mathematical Approach to Data Analysis

  2008cited by this paper
• Managing uncertainty and vagueness in description logics for the Semantic Web

  2008cited by this paper
• A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes

  2007cited by this paper
• A Tableau Decision Procedure for $\mathcal{SHOIQ}$

  2007cited by this paper
• Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

  2007cited by this paper
• LUBM: A benchmark for OWL knowledge base systems

  2005cited by this paper
• From SHIQ and RDF to OWL: the making of a Web Ontology Language

  2003cited by this paper
• Fuzzy sets

  1996cited by this paper
• The concept of a linguistic variable and its application to approximate reasoning - I

  1975cited by this paper
• Journal of Artificial Intelligence Research? (????)?-? Submitted 10/05; published?/?? Reasoning with Very Expressive Fuzzy Description Logics

  year unknowncited by this paper

• Using Rough Set Theory for Reasoning on Vague Ontologies

  2022cites this paper
• Formalization of Ontology Conceptualizations Using Model Transformation

  2022cites this paper