9145 search results - page 400 / 1829 » Description Logic Systems |
172
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
169
click to vote
ESWS
2007
Springer
16 years 1 months ago
2007
Springer
In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuraci...
206
click to vote
AGP
2003
IEEE
16 years 4 days ago
2003
IEEE
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...
154
click to vote
AAAI
2008
15 years 9 months ago
2008
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...
225
click to vote
MOVEP
2000
15 years 10 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...