Sciweavers

5608 search results - page 510 / 1122
» Structure description tools
Sort
View
FOIKS
2006
Springer
15 years 10 months ago
Reasoning Support for Expressive Ontology Languages Using a Theorem Prover
It is claimed in [45] that first-order theorem provers are not efficient for reasoning with ontologies based on description logics compared to specialised description logic reasone...
Ian Horrocks, Andrei Voronkov
EACL
1989
ACL Anthology
15 years 8 months ago
A rich environment for experimentation with unification grammars
This paper describes some of the features of a sophisticated language and environment designed for experimentation with unification-oriented linguistic descriptions. The system, w...
Rod L. Johnson, Mike Rosner
ESWS
2011
Springer
14 years 10 months ago
DataFinland - A Semantic Portal for Open and Linked Datasets
The number of open datasets available on the web is increasing rapidly with the rise of the Linked Open Data (LOD) cloud and various governmental efforts for releasing public data ...
Matias Frosterus, Eero Hyvönen, Joonas Laitio
BMCBI
2010
72views more  BMCBI 2010»
15 years 7 months ago
Potentials 'R'Us web-server for protein energy estimations with coarse-grained knowledge-based potentials
Background: Knowledge-based potentials have been widely used in the last 20 years for fold recognition, protein structure prediction from amino acid sequence, ligand binding, prot...
Yaping Feng, Andrzej Kloczkowski, Robert L. Jernig...
WSC
2004
15 years 8 months ago
Future of Simulation in Biotechnology Industry
In the 21st century, the Biotechnology industry has the potential to inspire a number of management tools and theories, just as the Automobile industry did in the 20th century. Th...
Prasad V. Saraph