Sciweavers

32

DLOG
1996

97views Automated Reasoning» more DLOG 1996»

Representing SGML Documents in Description Logics

13 years 11 months ago

Representing SGML Documents in Description Logics

Download www.inf.unibz.it

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

claim paper

Read More »

25

DLOG
1996

137views Automated Reasoning» more DLOG 1996»

Finite Model Reasoning in Description Logics

13 years 11 months ago

Finite Model Reasoning in Description Logics

Download www.inf.unibz.it

Diego Calvanese

claim paper

Read More »

20

DLOG
1996

86views Automated Reasoning» more DLOG 1996»

Open Problems with Part-Whole Relations

13 years 11 months ago

Open Problems with Part-Whole Relations

Download www.loa-cnr.it

Alessandro Artale, Enrico Franconi, Nicola Guarino

claim paper

Read More »

23

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

Class Algebra as a Description Logic

13 years 11 months ago

Class Algebra as a Description Logic

Download www.aaai.org

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

claim paper

Read More »

21

DLOG
1996

112views Automated Reasoning» more DLOG 1996»

Asking Queries about Frames

13 years 11 months ago

Asking Queries about Frames

Download www.cs.rutgers.edu

Alexander Borgida, Deborah L. McGuinness

claim paper

Read More »

23

DLOG
1996

88views Automated Reasoning» more DLOG 1996»

Subsumption-Based Matching: Bringing Semantics to Goals

13 years 11 months ago

Subsumption-Based Matching: Bringing Semantics to Goals

Download gaia.fdi.ucm.es

Yolanda Gil, Pedro A. González

claim paper

Read More »

26

DLOG
1997

118views Automated Reasoning» more DLOG 1997»

Least Common Subsumption as a connective

13 years 11 months ago

Least Common Subsumption as a connective

Download www.inf.unibz.it

Véronique Ventos, Pierre Brézellec

claim paper

Read More »

23

DLOG
1997

94views Automated Reasoning» more DLOG 1997»

Inspecting Concepts Graphically with Zoomable Lenses

13 years 11 months ago

Inspecting Concepts Graphically with Zoomable Lenses

Download www.inf.unibz.it

This paper proposes a novel interactive tool designed to support the graphical inspection of large semantic models. The idea is to view the iterative inspection process as a serie...

Gary Ng, Carole A. Goble, Adrian West

claim paper

Read More »

29

DLOG
1997

125views Automated Reasoning» more DLOG 1997»

Action Hierarchies in Description Logics

13 years 11 months ago

Action Hierarchies in Description Logics

Download www.inf.unibz.it

Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation formalized by means of plans...

Thorsten Liebig, Dietmar Rösner

claim paper

Read More »

22

DLOG
1997

104views Automated Reasoning» more DLOG 1997»

Dwebic: An Intelligent Search Engine based on Default Description Logics

13 years 11 months ago

Dwebic: An Intelligent Search Engine based on Default Description Logics

Download www.inf.unibz.it

In companies a large amount of information is maintained that is accessible via network communication tools. This makes searching for a particular piece of information a di cult t...

Patrick Lambrix, Nahid Shahmehri, Niclas Wahll&oum...

claim paper

Read More »