700 search results - page 57 / 140 » A Tools Environment for Developing and Reasoning about Ontol... |
164
click to vote
ICSE
2007
IEEE-ACM
15 years 7 months ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
122
click to vote
CADE
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...
SEMWEB
2005
Springer
15 years 7 months ago
2005
Springer
This application demonstrates how to provide personalized, syndicated views on distributed web data using Semantic Web technologies. The application comprises four steps: The infor...
103
click to vote
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
Enriching business process models with semantic annotations taken from an ontology has become a crucial necessity both in service provisioning, integration and composition, and in ...
CHK
1999
15 years 1 months ago
1999
: Niklas Luhmann died in November 1998. He had been elaborating his theory of the society for more than thirty years which has been well received in many quarters of society in the...