Definition of "decidable" []

• Capable of being decided. (adjective)
• Describing a set for which there exists an algorithm that will determine whether any element is or is not within the set in a finite amount of time. (adjective)

Wiktionary.org : Text is available under the Creative Commons Attribution-ShareAlike License

• "OWL ontology is based on Description Logics, which are both expressive and decidable, and provide a foundation for developing precise models about various domains of knowledge."
• "A theory T is defined to be decidable if there is an effective procedure of deciding whether any given sentence s belongs to T, (where an 'effective procedure' is generally defined to be a finitely-specifiable sequence of algorithmic steps)."
• "A theory is axiomatizable if there is a decidable set of sentences in the theory, whose closure under logical implication equals the entire theory."