2381 search results - page 176 / 477 » On Ordering Descriptions in a Description Logic |
114
click to vote
DIAGRAMS
2008
Springer
15 years 3 months ago
2008
Springer
Euler diagrams are a natural method of representing set-theoretic data and have been employed in diverse areas such as visualizing statistical data, as a basis for diagrammatic log...
139
click to vote
ICFEM
2010
Springer
15 years 14 days ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
120
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
We present a resolution-based decision procedure for the description logic SHOIQ--the logic underlying the Semantic Web ontology language OWL-DL. Our procedure is goal-oriented, an...
133
click to vote
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...
FECS
2007
15 years 3 months ago
2007
The adoption of logic programming in an introductory course on computer programming offers several rewards. The higher al level of this programming paradigm guides students to an ...