2962 search results - page 142 / 593 » Reasoning on Association Rules |
165
click to vote
ER
2007
Springer
16 years 17 days ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
153
click to vote
DLOG
2008
15 years 8 months ago
2008
Description Logics are a family of very expressive logics but some forms of knowledge are much more intuitive to formulate otherwise, say, as rules. Rules in DL can be dealt with t...
151
click to vote
RML
2002
15 years 6 months ago
2002
The development of the Semantic Web proceeds in layers. Currently the most advanced layer that has reached maturity is the ontology layer, in the form of the DAML+OIL language whic...
168
click to vote
IJCAI
1989
15 years 7 months ago
1989
Recent results in the foundations of probability theory indicate that a conditional probability can be viewed as a probability attached to a mathematical entity called a measure-f...
166
click to vote
PPDP
2009
Springer
16 years 29 days ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...