786 search results - page 66 / 158 » Description Logics in Ontology Applications |
IWANN
2009
Springer
14 years 4 months ago
2009
Springer
Biomedical ontologies provide a commonly accepted scheme for the characterization of biological concepts that enable knowledge sharing and integration. Updating and maintaining an ...
CADE
2006
Springer
14 years 10 months ago
2006
Springer
We present a resolution-based decision procedure for the description logic SHOIQ--the logic underlying the Semantic Web ontology language OWL-DL. Our procedure is goal-oriented, an...
FOIS
2006
13 years 11 months ago
2006
This paper examines the concepts biological function (BF) and functioning as they are used in recent work on formal ontology and its applications in the biomedical domain. My purpo...
ICTAI
2007
IEEE
14 years 4 months ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...
FOIS
2006
13 years 11 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...