Sciweavers

686 search results - page 101 / 138
» The use of XML to express a historical knowledge base
Sort
View
DLOG
2006
13 years 10 months ago
Tableau Caching for Description Logics with Inverse and Transitive Roles
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
Yu Ding, Volker Haarslev
FOSSACS
2007
Springer
14 years 3 months ago
Polynomial Constraints for Sets with Cardinality Bounds
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
Bruno Marnette, Viktor Kuncak, Martin C. Rinard
OWLED
2008
13 years 10 months ago
Owlgres: A Scalable OWL Reasoner
Abstract. We present Owlgres, a DL-Lite reasoner implementation written for PostgreSQL, a mature open source database. Owlgres is an OWL reasoner that provides consistency checking...
Markus Stocker, Michael Smith
TRS
2008
13 years 8 months ago
Generalized Indiscernibility Relations: Applications for Missing Values and Analysis of Structural Objects
In this paper, we discuss an approach to structural objects based on a generalisation of indiscernibility relation used in rough set theory. The existing results in rough set theor...
Wojciech Jaworski
AH
2006
Springer
14 years 2 months ago
Cross-Technique Mediation of User Models
Nowadays, the information overload highlights the importance of personalization systems providing services according to users' interests and needs, as expressed by their User ...
Shlomo Berkovsky, Tsvi Kuflik, Francesco Ricci