Sciweavers

598 search results - page 85 / 120
» Independence Semantics for BKBs
Sort
View
FOIKS
2006
Springer
14 years 2 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
AAAI
2008
14 years 1 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...
DILS
2008
Springer
14 years 19 days 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...
IESA
2007
14 years 12 days 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
IJCAI
2007
14 years 8 days 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