3081 search results - page 129 / 617 » A Formal Ontology of Properties |
198
click to vote
DASFAA
2007
IEEE
16 years 22 days ago
2007
IEEE
One of the big issues facing current content-based image retrieval is how to automatically extract the high-level concepts from images. In this paper, we present an efficient syste...
179
click to vote
SEKE
2004
Springer
15 years 11 months ago
2004
Springer
We present an approach for mapping an OWL ontology into Java. The basic idea is to create a set of Java interfaces and classes from an OWL ontology such that an instance of a Java ...
173
click to vote
JIPS
2006
15 years 6 months ago
2006
: We present in this paper the methodology for automatic generation of OWL-S service model ontology along with the results and issues. First, we extract information related to atom...
192
click to vote
ICIW
2008
IEEE
16 years 25 days ago
2008
IEEE
—With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and efficient ontology querying and reasoning systems....
235
click to vote
CAV
1999
Springer
15 years 10 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...