Sciweavers

904 search results - page 7 / 181
» Ontologies and Representations of Matter
Sort
View
FLAIRS
2006
13 years 8 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
OTM
2005
Springer
14 years 27 days 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
COMAD
2009
13 years 8 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»
13 years 7 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
13 years 11 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