2414 search results - page 334 / 483 » Reasoning Support for OWL-E |
190
click to vote
IEEEICCI
2003
IEEE
16 years 5 days ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...
192
click to vote
KBSE
2003
IEEE
16 years 5 days ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
173
click to vote
WCRE
2003
IEEE
16 years 4 days ago
2003
IEEE
There are many reasons why reverse engineering research tools often fail to be evaluated or adopted in industry. Their rough user interfaces and poor interoperability are just two...
239
click to vote
ICAIL
2003
ACM
16 years 4 days ago
2003
ACM
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
174
click to vote
IUI
2003
ACM
16 years 4 days ago
2003
ACM
Computer-based annotation is increasing in popularity as a mechanism for revising documents and sharing comments over the Internet. One reason behind this surge is that viewpoints...