1285 search results - page 14 / 257 » Description Logic Reasoner: System Description |
104
click to vote
TABLEAUX
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
ICTAI
2003
IEEE
15 years 5 months ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
DLOG
2003
15 years 1 months ago
2003
We consider the problem of automated index selection for embedded control programs (ECPs). Such systems have the property that the transaction types, which can consist of queries ...
111
click to vote
CADE
2007
Springer
16 years 2 hour ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
105
click to vote
ICCS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...