Search Sciweavers | Sciweavers

15

ZUM
1998
Springer

105views Formal Methods» more ZUM 1998»

Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space

13 years 10 months ago

We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicat...

Richard F. Paige

claim paper

Read More »

23

click to vote

DLOG
2010

224views Automated Reasoning» more DLOG 2010»

KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies

13 years 4 months ago

Download www.cs.uwaterloo.ca

Semantic interoperability is essential on the Semantic Web to enable different information systems to exchange data. Such interoperability can be achieved by identifying similar in...

Quentin Reul, Jeff Z. Pan

claim paper

Read More »

59

click to vote

FSKD
2011
Springer

313views Fuzzy Logic» more FSKD 2011»

Robust initialization for reasoning procedures in a hierarchical heterogeneous knowledge-base

12 years 6 months ago

Download bib.irb.hr

—This paper describes a model of a hierarchical, heterogeneous knowledge-base. The proposed model consists of an associative level that is implemented by a Kanerva-like sparse di...

Slobodan Ribaric, Darijan Marcetic, Zongmin Ma

claim paper

Read More »

17

click to vote

OTM
2005
Springer

112views Internet Technology» more OTM 2005»

Reasoning on Dynamically Built Reasoning Space with Ontology Modules

13 years 11 months ago

Download ic2.epfl.ch

Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerfu...

Fabio Porto

claim paper

Read More »

10

click to vote

SEMWEB
2004
Springer

75views Internet Technology» more SEMWEB 2004»

Representation and Reasoning About Changing Semantics in Heterogeneous Data Sources

13 years 11 months ago