235 search results - page 15 / 47 » Logical Development of the Cell Ontology |
WILF
2009
Springer
14 years 2 months ago
2009
Springer
Barycentric algebras have seen widespread application in the modeling of convex sets, semilattices, and quantum mechanics. Recently, they were developed further to encompass Boolea...
ASWC
2006
Springer
13 years 11 months ago
2006
Springer
With the increasing use of ontologies in Semantic Web and enterprise knowledge management, it is critical to develop scalable and efficient ontology management systems. In this pap...
ARITH
2005
IEEE
14 years 1 months ago
2005
IEEE
The floating-point unit in the Synergistic Processor Element of the 1st generation multi-core CELL Processor is described. The FPU supports 4-way SIMD single precision and intege...
ASWC
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Ontology reasoning is an indispensable step to fully exploit the implicit semantics of Semantic Web data. The inherent distribution characteristic of the Semantic Web and...
CADE
2006
Springer
14 years 7 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...