Results 1 - 10 of 3,954

The Concept of a Linguistic Variable and its Application to Approximate Reasoning

by L. A. Zadeh - Journal of Information Science , 1975
"... By a linguistic variable we mean a variable whose values are words or sentences in a natural or artificial language. I:or example, Age is a linguistic variable if its values are linguistic rather than numerical, i.e., young, not young, very young, quite young, old, not very oldand not very young, et ..."
Abstract - Cited by 1430 (9 self) - Add to MetaCart
rule which generates the terms in T(z); and M is a semantic rule which associates with each linguistic value X its meaning, M(X), where M(X) denotes a fuzzy subset of U The meaning of a linguistic value X is characterized by a compatibility function, c: l / + [0, I], which associates with each u in U

Fuzzy extractors: How to generate strong keys from biometrics and other noisy data

by Yevgeniy Dodis, Rafail Ostrovsky, Leonid Reyzin, Adam Smith , 2008
"... We provide formal definitions and efficient secure techniques for • turning noisy information into keys usable for any cryptographic application, and, in particular, • reliably and securely authenticating biometric data. Our techniques apply not just to biometric information, but to any keying mater ..."
Abstract - Cited by 535 (38 self) - Add to MetaCart
material that, unlike traditional cryptographic keys, is (1) not reproducible precisely and (2) not distributed uniformly. We propose two primitives: a fuzzy extractor reliably extracts nearly uniform randomness R from its input; the extraction is error-tolerant in the sense that R will be the same even

LUBM: A benchmark for OWL knowledge base systems

by Yuanbo Guo, Zhengxiang Pan, Jeff Heflin - Semantic Web Journal , 2005
"... We describe our method for benchmarking Semantic Web knowledge base systems with respect to use in large OWL applications. We present the Lehigh University Benchmark (LUBM) as an example of how to design such benchmarks. The LUBM features an ontology for the university domain, synthetic OWL data sca ..."
Abstract - Cited by 378 (10 self) - Add to MetaCart
We describe our method for benchmarking Semantic Web knowledge base systems with respect to use in large OWL applications. We present the Lehigh University Benchmark (LUBM) as an example of how to design such benchmarks. The LUBM features an ontology for the university domain, synthetic OWL data

Query Answering for OWL-DL with Rules

by Boris Motik, Ulrike Sattler, Rudi Studer - Journal of Web Semantics , 2004
"... Both OWL-DL and function-free Horn rules are decidable fragments of first-order logic with interesting, yet orthogonal expressive power. A combination of OWL-DL and rules is desirable for the Semantic Web; however, it might easily lead to the undecidability of interesting reasoning problems. Here, w ..."
Abstract - Cited by 329 (28 self) - Add to MetaCart
Both OWL-DL and function-free Horn rules are decidable fragments of first-order logic with interesting, yet orthogonal expressive power. A combination of OWL-DL and rules is desirable for the Semantic Web; however, it might easily lead to the undecidability of interesting reasoning problems. Here

FaCT++ description logic reasoner: System description

by Dmitry Tsarkov, Ian Horrocks - In Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2006 , 2006
"... Abstract. This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additional support for datatypes, including strings and integers. The system employs a wide range of performance enh ..."
Abstract - Cited by 319 (35 self) - Add to MetaCart
Abstract. This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additional support for datatypes, including strings and integers. The system employs a wide range of performance

Reasoning with Fuzzy Extensions of OWL and OWL 2

by Giorgos Stoilos, Giorgos Stamou , 2013
"... Fuzzy Description Logics (f-DLs) have been proposed as logical formalisms capable of representing and reasoning with vague/fuzzy information. They are envisioned to be helpful for many applications that need to cope with such type of information such as multimedia processing, decision making, autom ..."
Abstract - Cited by 1 (1 self) - Add to MetaCart
interesting formalisms as they constitute the logical underpinnings of the Web ontology languages OWL DL and OWL 2 DL. In the current paper we present an algorithm for reasoning with the fuzzy DLs f-SHOIQ and f-SROIQ. In addition, we also provide provide a tableaux algorithm for fuzzy nominals, thus providing

The even more irresistible SROIQ

by Ian Horrocks, Oliver Kutz, Ulrike Sattler - In KR , 2006
"... We describe an extension of the description logic underlying OWL-DL, SHOIN, with a number of expressive means that we believe will make it more useful in practise. Roughly speaking, we extend SHOIN with all expressive means that were suggested to us by ontology developers as useful additions to OWL- ..."
Abstract - Cited by 342 (50 self) - Add to MetaCart
rather elegant tableau-based reasoning algorithm: it combines the use of automata to keep track of universal value restrictions with the techniques developed for SHOIQ. We believe that SROIQ could serve as a logical basis for possible future extensions of OWL-DL.

Ontology Based Context Modeling and Reasoning using OWL

by Xiao Hang Wang, Da Qing Zhang, Tao Gu, Hung Keng Pung , 2004
"... In this paper we propose an OWL encoded context ontology (CONON) for modeling context in pervasive computing environments, and for supporting logicbased context reasoning. CONON provides an upper context ontology that captures general concepts about basic context, and also provides extensibility for ..."
Abstract - Cited by 190 (2 self) - Add to MetaCart
In this paper we propose an OWL encoded context ontology (CONON) for modeling context in pervasive computing environments, and for supporting logicbased context reasoning. CONON provides an upper context ontology that captures general concepts about basic context, and also provides extensibility

Reasoning within Fuzzy Description Logics

by Umberto Straccia - Journal of Artificial Intelligence Research , 2001
"... Description Logics (DLs) are suitable, well-known, logics for managing structured knowledge. They allow reasoning about individuals and well defined concepts, i.e. set of individuals with common properties. The experience in using DLs in applications has shown that in many cases we would like to ext ..."
Abstract - Cited by 197 (28 self) - Add to MetaCart
Description Logics (DLs) are suitable, well-known, logics for managing structured knowledge. They allow reasoning about individuals and well defined concepts, i.e. set of individuals with common properties. The experience in using DLs in applications has shown that in many cases we would like

Pellet: An owl dl reasoner

by Bijan Parsia, Evren Sirin - In Proceedings of the International Workshop on Description Logics , 2004
"... Reasoning capability is of crucial importance to many applications developed for the Semantic Web. Description Logics provide sound and complete reasoning algorithms that can effectively handle the DL fragment of the Web Ontology Language (OWL). However, existing DL reasoners were implemented long b ..."
Abstract - Cited by 121 (7 self) - Add to MetaCart
Reasoning capability is of crucial importance to many applications developed for the Semantic Web. Description Logics provide sound and complete reasoning algorithms that can effectively handle the DL fragment of the Web Ontology Language (OWL). However, existing DL reasoners were implemented long
Results 1 - 10 of 3,954