Search Sciweavers | Sciweavers

1582 search results - page 97 / 317

» On Higher-Order Description Logics

110

click to vote

DLOG
2003

133views Automated Reasoning» more DLOG 2003»

An Introduction to Description Logics

15 years 7 months ago

Download www.inf.unibz.it

Daniele Nardi, Ronald J. Brachman

claim paper

Read More »

click to vote

IJCAI
2001

66views Artificial Intelligence» more IJCAI 2001»

Identification Constraints and Functional Dependencies in Description Logics

15 years 7 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

130

click to vote

EUSFLAT
2003

109views Fuzzy Logic» more EUSFLAT 2003»

Inconsistencies in linguistic descriptions from the point of view of fuzzy logic

15 years 7 months ago

Download www.eusflat.org

Antonín Dvorák, Vilém Nov&aac...

claim paper

Read More »

119

click to vote

PSB
2003

72views Applied Computing» more PSB 2003»

Towards a Broad-Coverage Biomedical Ontology Based on Description Logics

15 years 7 months ago

Download psb.stanford.edu

Udo Hahn, Stefan Schulz

claim paper

Read More »

128

click to vote

PSB
2003

99views Applied Computing» more PSB 2003»

A Methodology to Migrate the Gene Ontology to a Description Logic Environment Using DAML+OIL

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers