148 search results - page 20 / 30 » Semantic issues in the design of languages for debugging |
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
PLDI
2010
ACM
14 years 1 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
UIC
2007
Springer
14 years 2 months ago
2007
Springer
This paper proposes a new persistent storage to efficiently manage OWL Web ontologies. The Semantic Web is recognized as a next direction for progress of the current Web. To realiz...
OWLED
2007
13 years 9 months ago
2007
There are many query languages (QLs) that can be used to query RDF and OWL ontologies but neither type is satisfactory for querying OWL-DL ontologies. RDF-based QLs (RDQL, SeRQL, S...
CASCON
1997
13 years 9 months ago
1997
The explosion in the amount of free text materials on the Internet, and the use of this information by people from all walks of life, has made the issue of generalized information...