Sciweavers

367 search results - page 28 / 74
» Hybrid Logics and Ontology Languages
Sort
View
CICLING
2010
Springer
14 years 1 months ago
Extraction of Genic Interactions with the Recursive Logical Theory of an Ontology
We introduce an Information Extraction (IE) system which uses the logical theory of an ontology as a generalisation of the typical information extraction patterns to extract biolog...
Alain-Pierre Manine, Érick Alphonse, Philip...
FCSC
2011
413views VLSI» more  FCSC 2011»
13 years 5 days ago
Type-2 fuzzy description logic
Description logics (DLs) are widely employed in recent semantic web application systems. However, classical description logics are limited when dealing with imprecise concepts and ...
Ruixuan Li, Kunmei Wen, Xiwu Gu, Yuhua Li, Xiaolin...
PPDP
2009
Springer
14 years 3 months ago
Reasoning with hypothetical judgments and open terms in hybrid
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
Amy P. Felty, Alberto Momigliano
LREC
2008
216views Education» more  LREC 2008»
13 years 10 months ago
Towards Semi Automatic Construction of a Lexical Ontology for Persian
Lexical ontologies and semantic lexicons are important resources in natural language processing. They are used in various tasks and applications, especially where semantic process...
Mehrnoush Shamsfard
FOIS
2006
13 years 10 months ago
Towards an ontology of agency and action From STIT to OntoSTIT+
Abstract. A variety of disciplines and research areas have separately studied the notions of action, agents and agency, but no integrated and well-developed formal ontology for the...
Nicolas Troquard, Robert Trypuz, Laure Vieu