decidable造句
1, Description Logics(DLs) is a decidable subset of first-order predication logic which possesses powerful function of knowledge expressing and reasoning.
2, Reasoners for OWL DL, while dealing with a decidable sublanguage, will be subject to higher worst-case complexity.
3, The restricted set of terms, becomes decidable , and moreover can be implemented very efficiently.
4, You can validate absolutely any string that conforms to any decidable set of rules.
5, The first-order theory of a complete binary tree is decidable by the quantifier elimination, we also know the CB rank of elements of a complete binary tree.
6, In contrast in intensional Type Theory type checking is decidable, but the representation of many mathematical concepts is non-standard due to a lack of extensional reasoning.
7, Their algorithm to find extensions is considered to be more efficient than the existing reconstruction procedure, and it is decidable .
8, Secondly, economy based on knowledge and technology, the economic benefit will drive knowledge and technology so that to become the decidable factors of development.
9, First the safety problem in general UCONA models undecidable, then showed the UCONA model with finite attribute domains and without creating policies to be decidable.
10, We prove that the well limit behavior can be used to get sufficient conditions for an infinite object to be limit decidable .
11, Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.
12, It describes the system using the functional unification grammar and also discusses the matching algorithm, syntax analysis and decidable problem analysis.
13, Description logics are fragments of the first-order logic, which contain concepts, roles, and concept and role constructors; and have features of strong expressivity and decidable reasoning.
14, We proved that the new paraconsistent tableau algorithm is decidable and has the same reasoning ability with the classical Description Logic over consistent ontologies.