4550 search results - page 723 / 910 » The Multimedia Semantic Web |
163
click to vote
CADE
2005
Springer
16 years 20 hour ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
173
click to vote
CAISE
2005
Springer
16 years 20 hour ago
2005
Springer
Ontologies are the core component in semantic Web applications. The employment of an ontology building method affects the quality of ontology and the applicability of ontology lang...
183
click to vote
ESWS
2005
Springer
16 years 10 hour ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
187
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...
123
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
Triple20 is a ontology manipulation and visualization tool for languages built on top of the Semantic-Web RDF triple model. In this article we explain how a triple-centered design ...