Sciweavers

2741 search results - page 506 / 549
» Engineering Mathematical Knowledge
Sort
View
IJCAI
2003
14 years 11 days ago
Decidability of SHIQ with Complex Role Inclusion Axioms
Motivated by medical terminology applications, we investigate the decidability of the well known expressive DL, SHIQ, extended with role inclusion axioms (RIAs) of the form R ◦ ...
Ian Horrocks, Ulrike Sattler
CIKM
2009
Springer
14 years 3 days ago
OfCourse: web content discovery, classification and information extraction for online course materials
: OfCourse: Web Content Discovery, Classification and Information Extraction for Online Course Materials Yuhong Xiong, Ping Luo, Yong Zhao, Fen Lin, Shicong Feng, Baoyao Zhou, Liw...
Yuhong Xiong, Ping Luo, Yong Zhao, Fen Lin, Shicon...
AI
2010
Springer
13 years 11 months ago
Interactive semantics
instruments. A melody expresses abstract artistic conception or emotion. The explanation ability plays the key role in the externalization and internalization from one form of expr...
Hai Zhuge
BMCBI
2010
117views more  BMCBI 2010»
13 years 11 months ago
Automatic, context-specific generation of Gene Ontology slims
Background: The use of ontologies to control vocabulary and structure annotation has added value to genomescale data, and contributed to the capture and re-use of knowledge across...
Melissa J. Davis, Muhammad Shoaib B. Sehgal, Mark ...
BMCBI
2008
133views more  BMCBI 2008»
13 years 11 months ago
SPIKE - a database, visualization and analysis tool of cellular signaling pathways
Background: Biological signaling pathways that govern cellular physiology form an intricate web of tightly regulated interlocking processes. Data on these regulatory networks are ...
Ran Elkon, Rita Vesterman, Nira Amit, Igor Ulitsky...