3081 search results - page 139 / 617 » A Formal Ontology of Properties |
165
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
147
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Ontology population is prone to cause inconsistency because the populating process is imprecise or the populated data may conflict with the original data. By assuming that the int...
165
click to vote
ICAIL
2007
ACM
15 years 10 months ago
2007
ACM
Ontologies in a legal expert system must be processed to suit all possible user cases within the field of law of the system. From the logical premises of a deductive system of expr...
212
click to vote
ESWA
2006
15 years 6 months ago
2006
Following the advent of the Internet technology and the rapid growth of its applications, users have spent long periods of time browsing through the ocean of information found in ...
176
click to vote
IEEEICCI
2005
IEEE
16 years 2 hour ago
2005
IEEE
The study of concept formation and learning is a central topic in cognitive informatics. Formal concept analysis can be viewed as an approach on this topic based on a formal conte...