Database Reference
In-Depth Information
Stoilos, G., Straccia, U., Stamou, G. B., & Pan, J. Z. (2006). General concept inclusions in fuzzy de-
scription logics. Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006),
(pp. 457-461).
Straccia, U. (2001). Reasoning within fuzzy description logics. [JAIR]. Journal of Artificial Intelligence
Research , 14 , 137-166.
Straccia, U. (2006). Answering vague queries in fuzzy dl-lite. Proceedings of the 11th International
Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems
(IPMU-06), (pp. 2238-2245).
Zadeh, L. A. (1965). Fuzzy sets. Information and Control , 8 (3), 338-353. doi:10.1016/S0019-
9958(65)90241-X
KEY TERMS AND DEFINITIONS
Semantic Web: is a term coined by World Wide Web Consortium (W3C) director Sir Tim Berners-
Lee. It describes methods and technologies to allow machines to understand the meaning - or “semantics”
- of information on the World Wide Web.
Ontology: a formal, explicit specification of a shared conceptualisation.
Description Logics: a family of formal knowledge representation languages.
Conjunctive Queries: are simply the fragment of first-order logic given by the set of formulae that
can be constructed from atomic formulae using conjunction and existential quantification, but not using
disjunction, negation, or universal quantification.
Knowledge Base: is a special kind of database for knowledge management, providing the means for
the computerized collection, organization, and retrieval of knowledge.
Tableau: is a decision procedure for sentential and related logics, and a proof procedure for formulas
of first-order logic. The tableau method can also determine the satisfiability of finite sets of formulas of
various logics. It is the most popular proof procedure for modal logics. The method of semantic tableaux
was invented by the Dutch logician Evert Willem Beth.
Completion Forests: are finite relational structures that represent sets of models of a knowledge base.
Search WWH ::




Custom Search