598 search results - page 81 / 120 » Optimized Reasoning in Description Logics Using Hypertableau... |
141
Voted
IJMMS
2007
15 years 3 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...
144
Voted
CADE
2010
Springer
15 years 4 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...
101
Voted
ICLP
1989
Springer
15 years 7 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...
146
Voted
RSP
1998
IEEE
15 years 8 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...
109
Voted
SEMWEB
2005
Springer
15 years 9 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...