Sciweavers

2097 search results - page 249 / 420
» Knowledge Base Maintenance through Knowledge Representation
Sort
View
ICAIL
2003
ACM
15 years 9 months ago
Logic-Based Regulation Compliance-Assistance
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
Shawn Kerrigan, Kincho H. Law
SAS
2001
Springer
117views Formal Methods» more  SAS 2001»
15 years 9 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...
SACMAT
2009
ACM
15 years 11 months ago
A semantic web based framework for social network access control
The existence of on-line social networks that include person specific information creates interesting opportunities for various applications ranging from marketing to community o...
Barbara Carminati, Elena Ferrari, Raymond Heatherl...
WEBI
2005
Springer
15 years 10 months ago
Integrating Element and Term Semantics for Similarity-Based XML Document Clustering
Structured link vector model (SLVM) is a recently proposed document representation that takes into account both structural and semantic information for measuring XML document simi...
Jianwu Yang, William K. Cheung, Xiaoou Chen
ICWE
2010
Springer
15 years 9 months ago
A Flexible Rule-Based Method for Interlinking, Integrating, and Enriching User Data
Many Web applications provide personalized and adapted services and contents to their users. As these Web applications are becoming increasingly connected, a new interesting challe...
Erwin Leonardi, Fabian Abel, Dominik Heckmann, Eel...