About: Reasoning with rough description logics: An approximate concepts approach

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Reasoning with rough description logics: An approximate concepts approach Goto Sponge NotDistinct Permalink

An Entity of Type : schema:ScholarlyArticle, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
type	Academic Article research paper schema:ScholarlyArticle
isDefinedBy	Covid-on-the-Web dataset
has title	Reasoning with rough description logics: An approximate concepts approach
Creator	Jiang, Yuncheng Tang, Suqin Wang, Ju Xiao, Bao
Source	Elsevier; Medline; PMC
abstract	Abstract The current research progress and the existing problems of uncertain or imprecise knowledge representation and reasoning in description logics are analyzed in this paper. Approximate concepts are introduced to description logics based on rough set theory, and a kind of new rough description logic RDL AC (rough description logic based on approximate concepts) is proposed based on approximate concepts. The syntax, semantics and properties of the RDL AC are given. It is proved that the approximate concept satisfiability (definitely satisfiability and possibly satisfiability) reasoning problem and approximate concepts rough subsumption reasoning problem w.r.t. rough TBox in RDL AC may be reduced to the concept satisfiability reasoning problem in (almost) standard ALC (the description logic that provides the Boolean concept constructors plus the existential and universal restriction constructors). The works of this paper provide logic foundations for approximate ontologies and theoretical foundations for reasoning algorithms of more expressive rough description logics including approximate concepts, number restrictions, nominals, inverse roles and role hierarchies.
has issue date	2009-02-15(xsd:dateTime)
bibo:doi	10.1016/j.ins.2008.10.021
bibo:pmid	32226108
has license	els-covid
sha1sum (hex)	166a625e1b2d7cc35462c02d6b3dd4a1a15e14dd
schema:url	https://doi.org/10.1016/j.ins.2008.10.021
resource representing a document's title	Reasoning with rough description logics: An approximate concepts approach
has PubMed Central identifier	PMC7094356
has PubMed identifier	32226108
schema:publication	Information Sciences
resource representing a document's body	covid:166a625e1b2d7cc35462c02d6b3dd4a1a15e14dd#body_text
is schema:about of	named entity 'HIERARCHIES' named entity 'PROVIDE' named entity 'ROUGH' named entity 'KNOWLEDGE REPRESENTATION' named entity 'LOGIC' named entity 'BASED' named entity 'SET' named entity 'GIVEN' named entity 'CURRENT' named entity 'FOUNDATIONS' named entity 'CONCEPT' named entity 'KIND' named entity 'THEORETICAL' named entity 'BOOLEAN' named entity 'SEMANTICS' named entity 'ROLE' named entity 'ROLES' named entity 'POSSIBLY' named entity 'ROUGH' named entity 'APPROACH' named entity 'DESCRIPTION' named entity 'REASONING' named entity 'RESEARCH' named entity 'RESTRICTION' named entity 'RDL' named entity 'CONCEPTS' named entity 'IMPRECISE' named entity 'PROBLEMS' named entity 'LOGICS' named entity 'ANALYZED' named entity 'STANDARD' named entity 'APPROXIMATE' named entity 'CONCEPTS' named entity 'NEW' named entity 'PROPOSED' named entity 'PAPER' named entity 'LOGICS' named entity 'REASONING' named entity 'PROGRESS' named entity 'INVERSE' named entity 'PROVIDES' named entity 'UNIVERSAL' named entity 'DESCRIPTION' named entity 'REDUCED' named entity 'PROPERTIES' named entity 'THEORY' named entity 'SYNTAX' named entity 'NUMBER' named entity 'WORKS' named entity 'INCLUDING' named entity 'UNCERTAIN' named entity 'INTRODUCED' named entity 'ONTOLOGIES' named entity 'PROBLEM' named entity 'ALGORITHMS' named entity 'ALC' named entity 'APPROXIMATE' covid:arg/166a625e1b2d7cc35462c02d6b3dd4a1a15e14dd named entity 'description logics' named entity 'description logics' named entity 'universal restriction' named entity 'current research' named entity 'syntax' named entity 'description logic' named entity 'description logics' named entity 'description logic' named entity 'Web ontology' named entity 'subsumption' named entity 'Lukasiewicz' named entity 'DLs' named entity 'rough sets' named entity 'DLs' named entity 'subsumption' named entity 'TBox' named entity 'iff' named entity 'syntax' named entity 'TBox' named entity 'description logics'

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software