Sciweavers

1391 search results - page 14 / 279
» Knowledge Retrieval (KR)
Sort
View
KR
2000
Springer
13 years 11 months ago
An Environment for Merging and Testing Large Ontologies
Large-scale ontologies are becoming an essential component of many applications including standard search (such as Yahoo and Lycos), ecommerce (such as Amazon and eBay), configura...
Deborah L. McGuinness, Richard Fikes, James Rice, ...
KR
2010
Springer
13 years 5 months ago
Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers
Measuring the inconsistency degree of a knowledge base can help us to deal with inconsistencies. Several inconsistency measures have been given under different multi-valued semant...
Guohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi
KSEM
2007
Springer
14 years 1 months ago
A Diagrammatic Reasoning System for ALC
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...
Frithjof Dau, Peter W. Eklund
RULEML
2005
Springer
14 years 26 days ago
ContractLog: An Approach to Rule Based Monitoring and Execution of Service Level Agreements
In this paper we evolve a rule based approach to SLA representation and management which allows separating the contractual business logic from the application logic and enables aut...
Adrian Paschke, Martin Bichler, Jens Dietrich
CADE
1999
Springer
13 years 11 months ago
A PSpace Algorithm for Graded Modal Logic
We present a PSpace algorithm that decides satisfiability of the graded modal logic Gr(KR)—a natural extension of propositional modal logic KR by counting expressions—which pl...
Stephan Tobies