598 search results - page 81 / 120 » Optimized Reasoning in Description Logics Using Hypertableau... |
IJMMS
2007
14 years 10 months ago
2007
Much has been written of the facilities for ontology building and reasoning offered for ontologies expressed in the Web Ontology Language (OWL). Less has been written about how th...
CADE
2010
Springer
14 years 11 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
ICLP
1989
Springer
15 years 2 months ago
1989
Springer
The generation of efficient code for Prolog programs requires sophisticated code transformation and optimization systems. Much of the recent work in this area has focussed on hig...
102
click to vote
RSP
1998
IEEE
15 years 2 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
SEMWEB
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. After becoming a W3C Recommendation, OWL is becoming increasingly widely accepted and used. However most people still find it difficult to create and use OWL ontologies...