Sciweavers

598 search results - page 85 / 120
» Independence Semantics for BKBs
Sort
View
122
Voted
FOIKS
2006
Springer
15 years 7 months ago
The Nested List Normal Form for Functional and Multivalued Dependencies
The Nested List Normal Form is proposed as a syntactic normal form for semantically well-designed database schemata obtained from any arbitrary finite nesting of records and lists....
Sven Hartmann, Sebastian Link
107
Voted
AAAI
2008
15 years 5 months ago
On the Decidability of Role Mappings between Modular Ontologies
Many semantic web applications require support for mappings between roles (or properties) defined in multiple independently developed ontology modules. Distributed Description Log...
Jie Bao, George Voutsadakis, Giora Slutzki, Vasant...
162
Voted
DILS
2008
Springer
15 years 5 months ago
Ontology Design Principles and Normalization Techniques in the Web
The open, decentralized nature of the Semantic Web demands fundamental changes in our approach to ontology development and deployment. To maximize the expressiveness and robustnes...
Xiaoshu Wang, Jonas S. Almeida, Arlindo L. Oliveir...
117
Voted
IESA
2007
15 years 5 months ago
Improving Interoperability in Collaborative Modelling
The application of model-driven development facilitates faster and more flexible integration by separating system descriptions to different levels of abstraction. In crossorganisat...
Stephan Roser, Bernhard Bauer
114
Voted
IJCAI
2007
15 years 5 months ago
ProbLog: A Probabilistic Prolog and Its Application in Link Discovery
We introduce ProbLog, a probabilistic extension of Prolog. A ProbLog program defines a distribution over logic programs by specifying for each clause the probability that it belo...
Luc De Raedt, Angelika Kimmig, Hannu Toivonen