Re: [ontology-summit] Offline note. Re: First Model Bench Challenge

[Aldo Gangemi <aldo.gangemi@xxxxxx>]

Dear John, I like your move to endorse "knowledge patterns" as a notion that abstracts from logical and knowledge varieties and does not oblige to stay within the Procuste's bed of mainstream knowledge representation.

Although you concentrate mainly on a historical promenade, you often support views that are common in the ontology design patterns and knowledge patterns communities, for which you only provide a reference to the good work of Peter Clark's. 

Therefore, you may want to include also a reference to those active communities. E.g. a "knowledge pattern science" has been sketched by me since 2005 [1], and a manifesto is provided in the first issue of Semantic Web Journal [2].

The ontologydesignpatterns.org portal is also related to your slides, and contains a lot of material and references on patterns of knowledge, logic, transformations, etc. 

I know you're not a big fan of the Semantic Web, but the work on knowledge patterns is not confined to it, and it is mainly a matter of convenience to focus on the SW, because it has the most data and the largest community to make empirical research.

Ciao

Aldo

On 22 May 2012, at 14:20, John F Sowa wrote:

Dear Ramayya,

I added another slide to discuss the connection between lattice
theory and Ranganathan's faceted classification.  (Copy below)

At the end of that slide, I included a pointer to the web page
you suggested for faceted classification.  I also included a
pointer to the home page for Formal Concept Analysis (FCA).

Following is a related paper that discusses the use of FCA tools
for automatically deriving a lattice from the facets:

   http://www.upriss.org.uk/papers/dl99.pdf
   Description Logic and Faceted Knowledge Representation

If you go to the FCA home page, you can click on demos that derive
the sublattice that surrounds any word in Roget's Thesaurus or
in WordNet.  For example, you can type a word such as 'happiness'
to see how it is classified in Roget's Thesaurus and in WordNet.

If you have any further questions about the relationship off FCA
methods to faceted classification, you could contact Uta Priss.
(See the cc list above.)

John

________________________________________________________________

                      Lattice-Based Methods

Many classification schemes are organized as trees, which limit
inheritance to just one parent for any node beneath the top.

To support multiple inheritance, S. R. Ranganathan developed a system of
faceted classification for library catalogs:
● Each facet represents a monadic relation.
● Each category is defined by a conjunction of facets.

Formal Concept Analysis (FCA) generates a minimal lattice for any
concepts or categories defined by such a conjunction:
● Input to the FCA tools Is a list of concepts and definitions.
● Those definitions could be the list of facets for each concept.
● The output is a minimal lattice that shows all inheritance paths.
● FCA tools are often used to check OWL ontologies for consistency.

For FCA tools and techniques, see http://www.upriss.org.uk/fca/fca.html
For faceted classification, see http://www.iskouk.org/kokonov2007.htm

_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/   
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/  
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2012/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2012  
Community Portal: http://ontolog.cim3.net/wiki/

_____________________________________

Aldo Gangemi

Senior Researcher

Semantic Technology Lab (STLab)

Institute for Cognitive Science and Technology,

National Research Council (ISTC-CNR) 

Via Nomentana 56, 00161, Roma, Italy 

Tel: +390644161535

Fax: +390644161513

aldo.gangemi@xxxxxx

http://www.stlab.istc.cnr.it

http://www.istc.cnr.it/people/aldo-gangemi

skype aldogangemi

okkam ID: http://www.okkam.org/entity/ok200707031186131660596

_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/ontology-summit/   
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontology-summit/  
Unsubscribe: mailto:ontology-summit-leave@xxxxxxxxxxxxxxxx
Community Files: http://ontolog.cim3.net/file/work/OntologySummit2012/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2012  
Community Portal: http://ontolog.cim3.net/wiki/     (01)