Sciweavers

2845 search results - page 196 / 569
» Constraints over Ontologies
Sort
View
ACL
2010
15 years 4 months ago
Expanding Verb Coverage in Cyc with VerbNet
A robust dictionary of semantic frames is an essential element of natural language understanding systems that use ontologies. However, creating lexical resources that accurately c...
Clifton McFate
LOPSTR
2007
Springer
16 years 23 days ago
Aggregates for CHR through Program Transformation
We propose an extension of Constraint Handling Rules (CHR) with aggregates such as sum, count, findall, and min. This new feature significantly improves the conciseness and expres...
Peter Van Weert, Jon Sneyers, Bart Demoen
CORR
2008
Springer
89views Education» more  CORR 2008»
15 years 6 months ago
Model Checking Positive Equality-free FO: Boolean Structures and Digraphs of Size Three
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
Barnaby Martin
SARA
2005
Springer
16 years 3 days ago
The Cruncher: Automatic Concept Formation Using Minimum Description Length
Abstract. We present The Cruncher, a simple representation framework and algorithm based on minimum description length for automatically forming an ontology of concepts from attrib...
Marc Pickett, Tim Oates
CSSW
2007
15 years 8 months ago
A Prototype to Explore Content and Context on Social Community Sites
: The SIOC Ontology can be used to express information from the online community sites in a machine-readable form using RDF. This rich data structure allows us to easily analyse an...
Uldis Bojars, Benjamin Heitmann, Eyal Oren