Sciweavers

4382 search results - page 533 / 877
» Query by Semantic Example
Sort
View
KRMED
2004
15 years 5 months ago
Axioms for parthood and containment relations in bio-ontologies
To fix the semantics of different kinds of parthood relations we require axioms which go beyond those characterizing partial orderings. I formulate such axioms and show their impl...
Thomas Bittner
EACL
1989
ACL Anthology
15 years 5 months ago
Inference in DATR
DATR is a declarative language for representing a restricted class of inheritance networks, permitting both multiple and default inheritance. The principal intended area of applic...
Roger Evans, Gerald Gazdar
VVEIS
2007
15 years 5 months ago
Checking Properties of Business Process Models with Logic Programming
Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it d...
Volker Gruhn, Ralf Laue
GISCIENCE
2008
Springer
130views GIS» more  GISCIENCE 2008»
15 years 5 months ago
Road Networks and Their Incomplete Representation by Network Data Models
Road networks, roads, and junctions are examples of natural language terms whose semantics can be described by affordances of their physical referents. In order to define affordanc...
Simon Scheider, Werner Kuhn
GMP
2008
IEEE
143views Solid Modeling» more  GMP 2008»
15 years 5 months ago
Space-Time Curve Analogies for Motion Editing
Abstract. This paper presents a method for analogizing high-dimensional spacetime curves, and shows how it can be used to transform a motion sequence into new content and styles ac...
Yuan Wu, Hongxin Zhang, Chao Song, Hujun Bao