|Title||:||Applications of Modularity and Atomic Decomposition of Ontologies|
|Speaker||:||T. V. Krishna Chaitanya (IITM)|
|Details||:||Tue, 30 Sep, 2014 3:00 PM @ BSB 361|
|Abstract:||:||An ontology is a set of axioms that describe a domain in a form that can be understood and processed by a computer program. Ontologies in Semantic Web are written in Description Logic, a fragment of First Order Logic. Axioms consist of a set of terms connected by some operators that describe the relationships between them. If an ontology engineer in a domain wants to use some terms from the other domain, she needs to import the terms along with all the valid relationships between them. Since the number of relationships can be infinite in number, identifying the valid ones among them is impossible. So, we should import a set of axioms, called a module, that can entail all the valid relationships between the set of required terms.