Sciweavers

58 search results - page 11 / 12
» Extending Datatype Restrictions in Fuzzy Description Logics
Sort
View
DLOG
2007
13 years 7 months ago
Speeding up Approximation with Nicer Concepts
Abstract. Concept approximation is an inference service for Description Logics that provides “translations” of concept descriptions from one DL to a less expressive DL. In [4] ...
Anni-Yasmin Turhan, Yusri Bong
LATIN
2004
Springer
13 years 11 months ago
Approximating the Expressive Power of Logics in Finite Models
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
Argimiro Arratia, Carlos E. Ortiz
OWLED
2008
13 years 7 months ago
Use of OWL 2 to Facilitate a Biomedical Knowledge Base Extracted from the GENIA Corpus
The annotation of the GENIA corpus, a set of biomedical articles, targets the classification of biological entities based on their association with a domain-tailored taxonomy of ca...
Rafal Rak, Lukasz A. Kurgan, Marek Reformat
TODAES
2002
134views more  TODAES 2002»
13 years 5 months ago
False-noise analysis using logic implications
ct Cross-coupled noise analysis has become a critical concern in today's VLSI designs. Typically, noise analysis makes an assumption that all aggressing nets can simultaneousl...
Alexey Glebov, Sergey Gavrilov, David Blaauw, Vlad...
IJCAI
2003
13 years 6 months ago
Decidability of SHIQ with Complex Role Inclusion Axioms
Motivated by medical terminology applications, we investigate the decidability of the well known expressive DL, SHIQ, extended with role inclusion axioms (RIAs) of the form R ◦ ...
Ian Horrocks, Ulrike Sattler