Sciweavers

1544 search results - page 18 / 309
» Automated Evaluation of Description Logic Reasoning Systems
Sort
View
CADE
1998
Springer
13 years 11 months ago
System Description: LEO - A Higher-Order Theorem Prover
Christoph Benzmüller, Michael Kohlhase
CADE
2006
Springer
13 years 11 months ago
System Description: GCLCprover + GeoThms
Predrag Janicic, Pedro Quaresma
DLOG
2003
13 years 8 months ago
Applying Description Logic to Product Behavioral Design within Advanced CAD Systems
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
François de Bertrand de Beuvron, Amadou Cou...
DLOG
2010
13 years 5 months ago
Optimization Techniques for Fuzzy Description Logics
Sophisticated uncertainty representation and reasoning are necessary for the alignment and integration of Web data from different sources. For this purpose the extension of the Des...
Nikos Simou, Theofilos P. Mailis, Giorgos Stoilos,...
DLOG
2003
13 years 8 months ago
From Description Logic Provers to Knowledge Representation Systems
A description-logic based knowledge representation system is more than an inference engine for a particular description logic. A knowledge representation system must provide a num...
Deborah L. McGuinness, Peter F. Patel-Schneider