scispace - formally typeset
BookDOI

Conceptual Structures at Work

Reads0
Chats0
TLDR
An examination of the relations among critical esthetics, ethics and logic in Peirce’s system suggests a possible account of the logic of creative discovery, which Peirces identified as abductive inference.
Abstract
In Peirce’s account of the normative sciences, logical validity and truth ultimately rely upon – though they are not reduced to – ethical and esthetic insight. An examination of the relations among critical esthetics, ethics and logic in Peirce’s system suggests a possible account of the logic of creative discovery, which Peirce identified as abductive inference.

read more

Citations
More filters
Book ChapterDOI

Formal concept analysis as mathematical theory of concepts and concept hierarchies

TL;DR: The main concern of this paper is to show the surprisingly rich correspondences between Seiler's multifarious aspects of concepts in the human mind and the structural properties and relationships of formal concepts in Formal Concept Analysis.
Book ChapterDOI

Introduction to linked data and its lifecycle on the web

TL;DR: This article presents an overview of the Linked Data lifecycle and discusses individual approaches as well as the state-of-the-art with regard to extraction, authoring, linking, enrichment as wellAs quality of Linked data.
Book ChapterDOI

Foundations of description logics

TL;DR: This chapter accompanies the foundational lecture on Description Logics (DLs) at the 7th Reasoning Web Summer School in Galway, Ireland, 2011 and introduces basic notions and facts about this family of logics which has significantly gained in importance over the recent years.
Book ChapterDOI

Acquisition of OWL DL Axioms from Lexical Resources

TL;DR: It is argued that inexpressive OWL ontologies with expressive axioms can serve as a core for a semi-automatic ontology engineering process supported by a methodology that integrates methods for both ontology learning and evaluation.
Book ChapterDOI

A proposal for combining formal concept analysis and description logics for mining relational data

TL;DR: R relational concept analysis is proposed, as an adaptation of FCA for analyzing objects described both by binary and relational attributes, and a way of representing the concepts and relations extracted with RCA is proposed in the framework of a description logic.
References
More filters
Book

Knowledge Representation: Logical, Philosophical, and Computational Foundations

John F. Sowa
TL;DR: This chapter discusses knowledge representation, meaning, purpose, context, and agents in the context of ontology, as well as some examples of knowledge acquisition and sharing.

Towards a General Theory of Action and Time.

TL;DR: A formalism for reasoning about actions that is based on a temporal logic allows a much wider range of actions to be described than with previous approaches such as the situation calculus and a framework for planning in a dynamic world with external events and multiple agents is suggested.

RDF Vocabulary Description Language 1.0 : RDF Schema. W3C Proposed Recommendation

D. Brickley
TL;DR: The Resource Description Framework (RDF) as mentioned in this paper is a general-purpose language for representing information in the Web. This specification defines a vocabulary for this purpose and defines other built-in RDF vocabulary initially specified in the RDF Model and Syntax Specification.
Journal ArticleDOI

CYC: a large-scale investment in knowledge infrastructure

TL;DR: The fundamental assumptions of doing such a large-scale project are examined, the technical lessons learned by the developers are reviewed, and the range of applications that are or soon will be enabled by the technology is surveyed.
Proceedings ArticleDOI

Towards a standard upper ontology

Ian Niles, +1 more
TL;DR: The strategy used to create the current version of the SUMO is outlined, some of the challenges that were faced in constructing the ontology are discussed, and its most general concepts and the relations between them are described.