Home - Conceptual Modeling

Links - Logic and First Order Logic

billb — Tue, 06 Oct 2009 15:25:24 -0600

Oct 6 2009: added link, changed page title.

Peter Suber was a research professor at Earlham College until recently. His tutorials on logic and logical mathematics are among the most concise and accessible to be found on the web, and probably ever written.

From the preface to "Translation Tips":

In this hand-out I treat the notation of truth-functional propositional logic and first-order predicate logic as a language, and give guidance on translating from English into this foreign language.

read more

Personal Knowledge Management

billb — Sat, 29 Aug 2009 10:41:17 -0600

Aug 29 2009: skeleton of some ideas.

From Wikipedia:

Links - Conceptual Modeling

billb — Tue, 02 Dec 2008 16:08:34 -0700

Revised Dec 2 2008:: many new links

A Spot of Philosophy

Conceptual modeling has two disticnt aspects: one os concepts and the other is modeling. That may sound trivial, but within that statemnt are complexities and important consequences. One can be come almost mysitcal about it.

Logical Inference

billb — Wed, 08 Oct 2008 08:16:58 -0600

Republished Jan 16 2009, from a an old tutorial article. Will be expanded and revised in coming months. Also see InterWiki on Logical Reasoning.

Links- Knowledge Representation and the Semantic Web

billb — Fri, 25 Jul 2008 11:15:45 -0600

Updated Oct 3 2008:

The representation of knowledge in general, particularly as it applies to the SemWeb.

From the KR.org site:

Principles of Knowledge Representation and Reasoning, Incorporated (KR, Inc.) is a Scientific Foundation incorporated in the state of Massachusetts of the United States of America concerned with fostering research and communication on knowledge representation and reasoning.

Link - Ontologies for Bioinformatics

billb — Tue, 15 Apr 2008 09:32:55 -0600

This article on ontologies in bioinformatics seeks to resolve problems in the standardization of nomenclature in the domain of biology and bioinformatics for text mining and data integration. While intended primarily for biotech, it is very concise and well-formulated and useful to anyone constructing an ontology.

Link - Semantic Web Patterns

billb — Sat, 05 Apr 2008 17:35:41 -0600

From the article:

Links - Design Patterns

billb — Sat, 05 Apr 2008 11:22:52 -0600

Updated: July 12 2008

A trove of links to old articles at Hillside.net.

Link to Logic and Inferencing in Old Tutorial

billb — Fri, 04 Apr 2008 14:25:01 -0600

An old article but still pertinent. I'd like to believe that logic never goes out of style, but given the history of ...

Links - Ontologies and Organizations

billb — Sun, 20 Jan 2008 08:02:21 -0700

The general definition of ontology at Wikipedia ( versus the computer science definition given in the main link ) is "a study of conceptions of reality and the nature of being". In some ways, the general definition is more appropriate to modeling organizations - the target audience for an organizational ontology is people, not computers.

The shortest and most intuitive definition of term ontology is 'a description of things that be'. For most purposes, it may be the best definition.