Sciweavers

904 search results - page 7 / 181
» Ontologies and Representations of Matter
Sort
View
92
Voted
FLAIRS
2006
14 years 11 months ago
On Repairing Reasoning Reversals via Representational Refinements
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...
Alan Bundy, Fiona McNeill, Christopher Walton
72
Voted
OTM
2005
Springer
15 years 3 months ago
A Meta-ontological Architecture for Foundational Ontologies
Abstract. In this paper we present and discuss a meta-ontological archifor ontologies which centers on abstract core ontologies (ACOs). s the most abstract part of a foundational o...
Heinrich Herre, Frank Loebe
137
Voted
COMAD
2009
14 years 10 months ago
TRANS: Schema-Aware Mapping of OWL Ontologies into Relational Databases
An ontology is an explicit specification of shared conceptualization. The Web Ontology Language (OWL) is a family of knowledge representation languages for authoring ontologies, a...
Saurabh Kejriwal, N. S. Narayanaswamy
CORR
2008
Springer
142views Education» more  CORR 2008»
14 years 9 months ago
Social networks that matter: Twitter under the microscope
Scholars, advertisers and political activists see massive online social networks as a representation of social interactions that can be used to study the propagation of ideas, soc...
Bernardo A. Huberman, Daniel M. Romero, Fang Wu
TYPES
1998
Springer
15 years 1 months ago
Metatheory of Verification Calculi in LEGO - To what Extent Does Syntax Matter?
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
Thomas Kleymann