6054 search results - page 796 / 1211 » Implementation of Andorra-based Languages |
184
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
259
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
Ontology, an explicit specification of shared conceptualization, has been increasingly used to define formal data semantics and improve data reusability and interoperability in en...
275
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
This paper describes the ADO.NET Entity Framework, a platform for programming against data that raises the level of ion from the logical (relational) level to the conceptual (enti...
293
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we propose a type-based framework for using logic programming for XML processing. We transform XML documents into terms and DTDs into regular types. We implemented a ...
153
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
We demonstrate an XML full-text search engine that implements the TeXQuery language. TeXQuery is a powerful fulltext search extension to XQuery that provides a rich set of fully c...