zawadski

The Knowledge Cartography –A New Approach to Reasoning over Description Logics Ontologies: 

The Knowledge Cartography – A New Approach to Reasoning over Description Logics Ontologies Krzysztof Goczyła, Teresa Grabowska, Wojciech Waloszek, Michał Zawadzki

PIPS: 

PIPS KaSeA RDB Data Knowledge Upper layers KMS Internet KaSeA RDB

Motivations: 

Motivations PIPS manages knowledge about: ilnesses, drugs, alergies, diets, … Required data are gathered from many internet sources; the number of information is very large.

Knowledge Cartography: 

Knowledge Cartography Main assumptions: Terminology is updated so rarely that it might be considered constant in time. A knowledge base is queried much more often than updated (new individual assertions). A knowledge base should be able to hold and efficiently process information about large numbers of individuals.

Knowledge Cartography: 

Knowledge Cartography Developed to: simplify reasoning on numerous objects (individuals), simplify storage of inferred results concerning numerous individuals. Processes ontological information in accordance to Description Logics and Semantic Web standard.

Terminology – an example: 

Terminology – an example Terminology is described by a set of statements - axioms. Suppose, we want to describe the world of people and their pets: There are no other creatures except People, Dogs and Cats, People, Dogs and Cats are disjoint, Dogs and Cats are CreaturesHavingTails, People and Cats can be CreaturesTakingCareOfHygiene.

Map of concepts: 

Map of concepts There are no other creatures except People, Dogs and Cats People  Dogs  Cats  

Map of concepts: 

Map of concepts People, Dogs and Cats are disjoint People  Dogs   People  Cats   Cats  Dogs  

Map of concepts: 

Map of concepts Dogs and Cats are CreaturesHavingTails CreaturesHavingTails  Dogs  Cats

Map of concepts: 

Map of concepts People and Cats can be CreaturesTakingCareOfHygiene CreaturesTakingCareOfHygiene  People CreaturesTakingCareOfHygiene  Cats

Map of concepts: 

Map of concepts

Map of concepts – signatures: 

Map of concepts – signatures 11000 00001 00111 01000  00010   11111

Terminological queries: 

Terminological queries Must every person take care of hygenie? 11000 10011 NO Is a creature without a tail a person? 11000 11000 YES Is a creature which have a tail and takes care of hygenie a cat?  00100 00110 YES

Individuals’ signatures: 

Individuals’ signatures Individuals’ signatures describe what we know and what we do not know about individuals Source 1: Fred has a tail 00111 Is Fred a person? 00111 11000 NO Is Fred a dog? 00111 00001 MAYBE

We know something more…: 

We know something more… Source 2: Fred takes care of hygenie 00111 01100 00100 Is Fred a dog? 00100 00001 NO Is Fred a cat? 00100 00110 YES ,

Restrictions: 

Restrictions Role constructors in the form of R.C and R.C are treated as concepts Such constructors must be explicitly defined in ontology.

Deployment in PIPS: 

Deployment in PIPS Cartographic approach has been succesfully deployed in the first release of PIPS system, Allowed for achieving short (<1 s) response times for queries in knowledge bases with very large (>10000) number of individuals (sublinear scalability).

Future work: 

Future work Compression of signatures and hierarchical signatures, Introducing signatures not only for concepts but also for roles (relations) between individuals. Extending expresiveness of KaSeA in order to support complex queries (cardinality constraints, functional, symetric and transitive roles),

Slide19: 

Thank you!