421 search results - page 14 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
SEMWEB
2007
Springer
15 years 5 months ago
2007
Springer
SMART (Semantic web information Management with automated Reasoning Tool) is an open-source project, which aims to provide intuitive tools for life scientists for represent, integr...
107
click to vote
HICSS
2007
IEEE
15 years 5 months ago
2007
IEEE
Clinical Practice Guidelines (CPG) are used by healthcare practitioners to standardize clinical practice and to provide evidence mediated health-care. Currently, there have been c...
SEMWEB
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Design patterns are widely-used software engineering abstractions which define guidelines for modeling common application scenarios. Ontology design patterns are the ext...
155
click to vote
EWCBR
2008
Springer
15 years 23 days ago
2008
Springer
In this paper we present ColibriCook: a CBR system for ontology-based cooking recipe retrieval and adaptation. The system's purpose is to participate in the 1st Computer Cooki...
FROCOS
2009
Springer
15 years 5 months ago
2009
Springer
In an attempt to improve automation capabilities in the Coq proof assistant, we develop a tactic for the propositional fragment based on the DPLL procedure. Although formulas natur...