267 search results - page 12 / 54 » Evolution of DL - Lite Knowledge Bases |
121
Voted
ESWS
2005
Springer
15 years 7 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
108
click to vote
INAP
2001
Springer
15 years 6 months ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
114
click to vote
WWW
2005
ACM
16 years 2 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...
100
click to vote
DEXAW
2008
IEEE
15 years 8 months ago
2008
IEEE
The semantic web aims at enabling the web to understand and answer the requests from people and machines. It relies on several standards for representing and reasoning about web c...
109
click to vote
DL
1999
Springer
15 years 6 months ago
1999
Springer
We present a system for searching and classifying U.S. patent documents, based on Inquery. Patents are distributed through hundreds of collections, divided up by general area. The...