3706 search results - page 464 / 742 » System Description: E-KRHyper |
171
click to vote
CATS
2006
15 years 8 months ago
2006
A complete description and proof of correctness are given for a new polynomial time algorithm for a class of codes based on directed graphs and involving construction well known i...
188
click to vote
COMMA
2006
15 years 8 months ago
2006
This paper demonstrates the potential of the Semantic Web as a platform for representing, navigating and processing arguments on a global scale. We use the RDF Schema (RDFS) ontolo...
218
click to vote
DATESO
2006
15 years 8 months ago
2006
Recently XML is the standard format used for the exchange of data between information systems and is also frequently applied as a logical database model. If we use XML as a logical...
173
click to vote
IASSE
2004
15 years 8 months ago
2004
Latest research results have shown that requirements errors have a prolonged impact on software development and that they are more expensive to fix during later stages than early ...
185
click to vote
FOIS
2006
15 years 8 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...