To: | Ontology Summit 2014 discussion <ontology-summit@xxxxxxxxxxxxxxxx> |
---|---|
From: | Gary Berg-Cross <gbergcross@xxxxxxxxx> |
Date: | Wed, 29 Jan 2014 10:46:56 -0500 |
Message-id: | <CAMhe4f0uSoVO=-S6uv_cqd-dg9y7Hmc4vr9hGG+hW_z2n7deBw@xxxxxxxxxxxxxx> |
I like the definition of a module that Grau, Bernardo Cuenca, et al. "Extracting Modules from Ontologies: Theory and Practice (Technical Report)." employ.
Something like a module is a structure that guarantees to completely capture the meaning of a given group of terms, i.e., to include all axioms relevant to the meaning of these terms. They find this to be a difficult thing in practice for OWL ontologies which using reasoners are:
"undecidable even for rather restricted sub-languages of OWL DL. Hence we
propose two'“approximations', i.e., alternative definitions of modules for a vocabulary that still provide the above guarantee, but that are possibly too
strict, and that may thus result in larger modules. They then have empirical approximations to find semantic approximations using extant DL reasoners and syntactic approximations that "can be computed in polynomial time."
Gary Berg-Cross, Ph.D.
NSF INTEROP Project
SOCoP Executive Secretary Knowledge Strategies Potomac, MD
240-426-0770 On Wed, Jan 29, 2014 at 10:20 AM, Andrea Westerinen <arwesterinen@xxxxxxxxx> wrote:
_________________________________________________________________ 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/OntologySummit2014/ Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2014 Community Portal: http://ontolog.cim3.net/wiki/ (01) |
Previous by Date: | Re: [ontology-summit] [ReusableContent] Reuse of Linked Data vis-a-vis Reuse of Ontologies, Andrea Westerinen |
---|---|
Next by Date: | [ontology-summit] Fwd: OntologySummit2014 session-03 Track-B: Making use of Ontologies-I - Thu 2014.01.30, Peter Yim |
Previous by Thread: | Re: [ontology-summit] [ReusableContent] Reuse of Linked Data vis-a-vis Reuse of Ontologies, Andrea Westerinen |
Next by Thread: | Re: [ontology-summit] [ReusableContent] Reuse of Linked Data vis-a-vis Reuse of Ontologies, Andrea Westerinen |
Indexes: | [Date] [Thread] [Top] [All Lists] |