DLOG 1996 | Sciweavers

Number restrictions are concept constructors that are available in almost all implemented description logic systems. However, even though there has lately been considerable effort...

Franz Baader, Ulrike Sattler

claim paper

Read More »

13

click to vote

DLOG
1996

97views Automated Reasoning» more DLOG 1996»

Representing SGML Documents in Description Logics

13 years 5 months ago

Download www.inf.unibz.it

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

claim paper

Read More »

11

click to vote

DLOG
1996

137views Automated Reasoning» more DLOG 1996»

Finite Model Reasoning in Description Logics

13 years 5 months ago

Download www.inf.unibz.it

Diego Calvanese

claim paper

Read More »

6

click to vote

DLOG
1996

86views Automated Reasoning» more DLOG 1996»

Open Problems with Part-Whole Relations

13 years 5 months ago

Download www.loa-cnr.it

Alessandro Artale, Enrico Franconi, Nicola Guarino

claim paper

Read More »

11

click to vote

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

Class Algebra as a Description Logic

13 years 5 months ago

Download www.aaai.org

Daniel J. Buehrer, Yi-Huang Liu, Ting-Yue Hong, Je...

claim paper

Read More »

7

click to vote

DLOG
1996

112views Automated Reasoning» more DLOG 1996»

Asking Queries about Frames

13 years 5 months ago

Download www.cs.rutgers.edu

Alexander Borgida, Deborah L. McGuinness

claim paper

Read More »

7

click to vote

DLOG
1996

88views Automated Reasoning» more DLOG 1996»

Subsumption-Based Matching: Bringing Semantics to Goals

13 years 5 months ago

Download gaia.fdi.ucm.es

Yolanda Gil, Pedro A. González

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers