2409 search results - page 226 / 482 » Corpus-Based Knowledge Representation |
143
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
142
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
Semantic Web is challenged by the URI meaning issues arising from putting ontologies in open and distributed environments. As a try to clarify some of the meaning issues, this pap...
118
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
The meaning of names (URI references) is a contentious issue in the Semantic Web. Numerous proposals have been given for how to provide meaning for names in the Semantic Web, rang...
147
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
This paper proposes an Ontology-based Rights Expression Language, called OREL. Based on OWL Web Ontology Language, OREL allows not only users but also machines to handle digital r...
177
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...