Sciweavers

711 search results - page 112 / 143
» Knowledge Representation and Reasoning in (Controlled) Natur...
Sort
View
DLOG
2004
13 years 10 months ago
Extended Query Facilities for Racer and an Application to Software-Engineering Problems
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
Volker Haarslev, Ralf Möller, Ragnhild Van De...
PPSWR
2004
Springer
14 years 2 months ago
Calendrical Calculations with Time Partitionings and Fuzzy Time Intervals
This paper presents a piece in a big mosaic which consists of formalisms and software packages for representing and reasoning with everyday temporal notions. The kernel of the mosa...
Hans Jürgen Ohlbach
WWW
2004
ACM
14 years 9 months ago
A combined approach to checking web ontologies
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...
Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-...
3DPVT
2004
IEEE
101views Visualization» more  3DPVT 2004»
14 years 23 days ago
Pyramid Coordinates for Morphing and Deformation
Many model editing operations, such as morphing, blending, and shape deformation, require the ability to interactively transform the surface of a model in response to some control...
Alla Sheffer, Vladislav Kraevoy
IJBRA
2007
114views more  IJBRA 2007»
13 years 9 months ago
Enhanced semantic access to the protein engineering literature using ontologies populated by text mining
: The biomedical literature is growing at an ever-increasing rate, which pronounces the need to support scientists with advanced, automated means of accessing knowledge. We investi...
René Witte, Thomas Kappler, Christopher J. ...