Sciweavers

2500 search results - page 227 / 500
» Logical Semantics of Modularisation
Sort
View
FUZZIEEE
2007
IEEE
15 years 10 months ago
A Linguistic Multi-level Weighted Query Language to Represent User Information Needs
An ordinal fuzzy linguistic Information Retrieval System (IRS) based on a multi-level weighting scheme to represent the user queries, in a more flexible way, is proposed. The IRS a...
Enrique Herrera-Viedma, Antonio Gabriel Lóp...
DLOG
2011
14 years 10 months ago
Practical Epistemic Entailment Checking in SROIQ
In this paper, we present a reasoner capable of epistemic inferences in SROIQ knowledge bases. We first identify some counter intuitive effects of imposing the traditional semant...
Anees Mehdi, Sebastian Rudolph
FSKD
2011
Springer
313views Fuzzy Logic» more  FSKD 2011»
14 years 6 months ago
Robust initialization for reasoning procedures in a hierarchical heterogeneous knowledge-base
—This paper describes a model of a hierarchical, heterogeneous knowledge-base. The proposed model consists of an associative level that is implemented by a Kanerva-like sparse di...
Slobodan Ribaric, Darijan Marcetic, Zongmin Ma
DLOG
1998
15 years 8 months ago
Comparing Subsumption Optimizations
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...
Ian Horrocks, Peter F. Patel-Schneider
KCAP
2005
ACM
16 years 3 days ago
Matching utterances to rich knowledge structures to acquire a model of the speaker's goal
An ultimate goal of AI is to build end-to-end systems that interpret natural language, reason over the resulting logical forms, and perform actions based on that reasoning. This r...
Peter Z. Yeh, Bruce W. Porter, Ken Barker