Search Sciweavers | Sciweavers

3793 search results - page 118 / 759

» Expressive Description Logics

144

click to vote

DLOG
2010

149views Automated Reasoning» more DLOG 2010»

On the feasibility of Description Logic knowledge bases with rough concepts and vague instances

15 years 2 months ago

Download www.cs.uwaterloo.ca

Abstract. A usage scenario of bio-ontologies is hypothesis testing, such as finding relationships or new subconcepts in the data linked to the ontology. Whilst validating the hypot...

C. Maria Keet

claim paper

Read More »

click to vote

DLOG
2010

109views Automated Reasoning» more DLOG 2010»

Second-Order Description Logics: Semantics, Motivation, and a Calculus

15 years 2 months ago

Download sisinflab.poliba.it

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...

claim paper

Read More »

click to vote

DLOG
2009

97views Automated Reasoning» more DLOG 2009»

On Higher-Order Description Logics

15 years 2 months ago

Download web.comlab.ox.ac.uk

Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo ...

claim paper

Read More »

click to vote

DLOG
2009

68views Automated Reasoning» more DLOG 2009»

Fair Cycle Detection using Description Logic Reasoning

15 years 2 months ago

Download www.cs.uwaterloo.ca

Shoham Ben-David, Jeffrey Pound, Richard J. Trefle...

claim paper

Read More »

106

click to vote

DLOG
2009

97views Automated Reasoning» more DLOG 2009»

A Semantic Algebra for Modularized Description Logics Knowledge Bases

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers