Attributive concept descriptions with complements
Artificial Intelligence
Theoretical Computer Science
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Ontologies: A Silver Bullet for Knowledge Management and Electronic Commerce
Ontologies: A Silver Bullet for Knowledge Management and Electronic Commerce
The description logic handbook
Description logics for databases
The description logic handbook
Towards a framework for approximate ontologies
Fundamenta Informaticae
Toward a generalized theory of uncertainty (GTU): an outline
Information Sciences—Informatics and Computer Science: An International Journal
Reasoning on UML class diagrams
Artificial Intelligence
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
Journal of Automated Reasoning
Generalized rough sets over fuzzy lattices
Information Sciences: an International Journal
Expressive probabilistic description logics
Artificial Intelligence
On generalized intuitionistic fuzzy rough approximation operators
Information Sciences: an International Journal
Is there a need for fuzzy logic?
Information Sciences: an International Journal
Fuzzy rough set theory for the interval-valued fuzzy information systems
Information Sciences: an International Journal
On fuzzy approximation operators in attribute reduction with fuzzy rough sets
Information Sciences: an International Journal
Measures of general fuzzy rough sets on a probabilistic space
Information Sciences: an International Journal
Generalized fuzzy rough sets determined by a triangular norm
Information Sciences: an International Journal
Probabilistic rough set approximations
International Journal of Approximate Reasoning
Probabilistic approach to rough sets
International Journal of Approximate Reasoning
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
Keys, nominals, and concrete domains
Journal of Artificial Intelligence Research
Reasoning with very expressive fuzzy description logics
Journal of Artificial Intelligence Research
Description logics with approximate definitions precise modeling of vague concepts
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
P-CLASSIC: a tractable probablistic description logic
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Reasoning within intuitionistic fuzzy rough description logics
Information Sciences: an International Journal
Supporting Fuzzy Rough Sets in Fuzzy Description Logics
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Efficient retrieval of ontology fragments using an interval labeling scheme
Information Sciences: an International Journal
Reasoning within expressive fuzzy rough description logics
Fuzzy Sets and Systems
Expressive fuzzy description logics over lattices
Knowledge-Based Systems
Granular computing applied to ontologies
International Journal of Approximate Reasoning
Extending soft sets with description logics
Computers & Mathematics with Applications
Representation and reasoning of context-dependant knowledge in distributed fuzzy ontologies
Expert Systems with Applications: An International Journal
Dependencies between ontology design parameters
International Journal of Metadata, Semantics and Ontologies
Paraconsistent and approximate semantics for the OWL 2 web ontology language
RSCTC'10 Proceedings of the 7th international conference on Rough sets and current trends in computing
Reasoning with the finitely many-valued Łukasiewicz fuzzy Description Logic SROIQ
Information Sciences: an International Journal
Ontology engineering with rough concepts and instances
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
Rough subsumption reasoning with rOWL
Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment
Semantic Web search based on rough sets and Fuzzy Formal Concept Analysis
Knowledge-Based Systems
Generalized fuzzy rough description logics
Information Sciences: an International Journal
Similarity reasoning for the semantic web based on fuzzy concept lattices: An informal approach
Information Systems Frontiers
Hi-index | 0.07 |
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"A"C (rough description logic based on approximate concepts) is proposed based on approximate concepts. The syntax, semantics and properties of the RDL"A"C 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"A"C 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.