Sciweavers

2576 search results - page 204 / 516
» The Complexity of Zero Knowledge
Sort
View
AAAI
2007
15 years 9 months ago
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach
Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas. An important requirement is the ability to ...
Diego Calvanese, Thomas Eiter, Magdalena Ortiz
LREC
2010
127views Education» more  LREC 2010»
15 years 8 months ago
A Use Case for Controlled Languages as Interfaces to Semantic Web Applications
Although the Semantic web is steadily gaining in popularity, it remains a mystery to a large percentage of Internet users. This can be ed to the complexity of the technologies tha...
Pradeep Dantuluri, Brian Davis, Siegfried Handschu...
LWA
2007
15 years 8 months ago
Retrieval of technical drawings in DXF format - concepts and problems
Nowadays, launching new products in short intervals is a critical factor for success to persist on the global market. At the same time many enterprises call for cost reduction in ...
Nadine Weber, Andreas Henrich
IADIS
2004
15 years 8 months ago
OWL DL: description logic's syntactic variant for the semantic web
OWL DL, being established by W3C, is a Knowledge Representation Markup Language for the Semantic Web. OWL DL is a new synthesis of research on KRML for the Semantic Web, which nee...
Wei Ming Zhang, Jun-feng Song
IJIT
2004
15 years 8 months ago
Formal Verification of a Multicast Protocol In Mobile Networks
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
Mohammad Reza Matash Borujerdi, S. M. Mirzababaei