Sciweavers

1928 search results - page 70 / 386
» Integrity Constraints in OWL
Sort
View
ER
2007
Springer
163views Database» more  ER 2007»
16 years 11 days ago
Know your Limits: Enhanced XML Modeling with Cardinality Constraints
XML Schema supports the specification of occurrence constraints by declaring values for its min/maxOccurs attributes. These constraints are structural in the sense that they rest...
Sebastian Link, Thu Trinh
151
Voted
VRML
2000
ACM
15 years 10 months ago
VRML with constraints
In this paper we discuss the benefits of extending VRML by constraints and present a new way based on prototypes and scripting to implement this extension. Our approach is easy-t...
Stephan Diehl, Jörg Keller
3DPVT
2006
IEEE
216views Visualization» more  3DPVT 2006»
15 years 10 months ago
Object Modeling with Guaranteed Fulfillment of Geometric Constraints
Object modeling under consideration of geometric constraints is an important task. In this paper we describe a novel approach to achieving this goal. It has the nice property that...
Da-Chuan Cheng, Xiaoyi Jiang
JSAT
2006
92views more  JSAT 2006»
15 years 6 months ago
A Translation of Pseudo Boolean Constraints to SAT
This paper introduces a new CNF encoding of pseudo-Boolean constraints, which allows unit propagation to maintain generalized arc consistency. In the worst case, the size of the p...
Olivier Bailleux, Yacine Boufkhad, Olivier Roussel
ICLP
2009
Springer
16 years 6 months ago
Constraint Answer Set Solving
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...
Martin Gebser, Max Ostrowski, Torsten Schaub