Sciweavers

3358 search results - page 43 / 672
» Dynamic Description Logics
Sort
View
RR
2007
Springer
14 years 2 months ago
Expressive Reasoning with Horn Rules and Fuzzy Description Logics
Abstract. This essay describes fuzzy CARIN, a knowledge representation language combining fuzzy description logics with Horn rules. Fuzzy CARIN integrates the management of fuzzy l...
Theofilos P. Mailis, Giorgos Stoilos, Giorgos B. S...
SEMWEB
2007
Springer
14 years 2 months ago
Optimizing the Crisp Representation of the Fuzzy Description Logic SROIQ
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. Fuzzy Description Logics were born to represent the former type of knowledge, but ...
Fernando Bobillo, Miguel Delgado, Juan Góme...
ICTAC
2005
Springer
14 years 2 months ago
Representation and Reasoning on RBAC: A Description Logic Approach
Abstract. Role-based access control (RBAC) is recognized as an excellent model for access control in large-scale networked applications. Formalization of RBAC in a logical approach...
Chen Zhao, NuerMaimaiti Heilili, Shengping Liu, Zu...
CLA
2007
13 years 10 months ago
A Proposal of Description Logic on Concept Lattices
There are two major formalisms that are developed around concepts: (1) Formal Concept Analysis (FCA) by R. Wille and B. Ganter, and (2) Description Logic (DL) that goes back to the...
Nikolay Shilov, Sang-Yong Han
JAIR
2007
146views more  JAIR 2007»
13 years 8 months ago
Semantic Matchmaking as Non-Monotonic Reasoning: A Description Logic Approach
Matchmaking arises when supply and demand meet in an electronic marketplace, or when agents search for a web service to perform some task, or even when recruiting agencies match c...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....