http://ontologydesignpatterns.org/api.php?action=feedcontributions&feedformat=atom&user=LuigiIannone 2026-05-06T00:12:18Z User contributions MediaWiki 1.25.6 http://ontologydesignpatterns.org/index.php?title=Reviews:LuigiIannone_about_Partition_2&diff=5784 2009-09-10T09:29:32Z

<p>LuigiIannone: New page: {{Content OP Proposal Review Template |CreationDate=2009/9/10 |SubmittedBy=LuigiIannone |ContentOPUnderReview=Partition |RevisionID=5750 |Score=1 - needs minor revision |ReviewSummary=The ...</p> <hr /> <div>{{Content OP Proposal Review Template<br /> |CreationDate=2009/9/10<br /> |SubmittedBy=LuigiIannone<br /> |ContentOPUnderReview=Partition<br /> |RevisionID=5750<br /> |Score=1 - needs minor revision<br /> |ReviewSummary=The example could be more explanatory, maybe describing a real ontology situation rather than using letters. A scenario could be added too.<br /> Although the pattern is a fundamental one, it is described in its simplest incarnation. There are more complicated forms of partitions, for instance including a hierarchy inside the partitions (see Spiciness in the Pizza Tutorial Ontology - http://www.co-ode.org/ontologies/pizza/2007/02/12/pizza.owl). This version is so lightweight that a live workshop discussion is superfluous.<br /> |ReviewConfidence=High<br /> }}</div>

LuigiIannone http://ontologydesignpatterns.org/index.php?title=Submissions:Partition&diff=5679 2009-09-07T10:00:23Z

<p>LuigiIannone: Review has been created. Annotation 'assigned' has been removed. Annotation 'waiting' has been removed.</p> <hr /> <div>{{Logical_OP_Proposal_toolbar}}<br /> {{Include Image}}<br /> {{Logical OP General Template<br /> |Name=Partition<br /> |SubmittedBy=OlafNoppens<br /> }}<br /> {{Logical OP Description Template<br /> |Motivation=This is a logical pattern to define a partition. It is independant of a specific domain. Partitions are a common modeling structure.<br /> |Aim=The ontology engineer may say that a class is a partition over other classes (including class expressions). A partition is a structure dividing its content into several parts.<br /> |Solution=We introduce two axioms where Partition is the Partition class and B1,...,Bn are arbitrary class expressions (n &gt;= 2) (expressed in OWL 2 Abstract Syntax)<br /> <br /> ''EquivalentClasses(Partition, ObjectUnionOf(B1, ..., Bn))''<br /> <br /> ''DisjointClasses(B1, ..., Bn)''<br /> }}<br /> {{Logical OP Example Template<br /> |SolutionExample=http://www.informatik.uni-ulm.de/ki/Noppens/owl/patterns/partition.owl<br /> }}<br /> {{Logical OP Reference Template}}<br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}<br /> {{Submission to event<br /> |Event=WOP2009:Main<br /> }}<br /> <br /> <br /> [[Category:Review assigned]]</div>

LuigiIannone http://ontologydesignpatterns.org/index.php?title=Reviews:LuigiIannone_about_Partition&diff=5678 2009-09-07T10:00:22Z

<p>LuigiIannone: New page: {{Content OP Proposal Review Template |CreationDate=2009/9/7 |SubmittedBy=LuigiIannone |ContentOPUnderReview=Partition |RevisionID=5616 |Score=1 - needs minor revision |ReviewSummary=The e...</p> <hr /> <div>{{Content OP Proposal Review Template<br /> |CreationDate=2009/9/7<br /> |SubmittedBy=LuigiIannone<br /> |ContentOPUnderReview=Partition<br /> |RevisionID=5616<br /> |Score=1 - needs minor revision<br /> |ReviewSummary=The example could be more explanatory, maybe describing a real ontology situation rather than using letters. A scenario could be added too.<br /> |ReviewConfidence=High<br /> }}</div>

LuigiIannone http://ontologydesignpatterns.org/index.php?title=Submissions:OnlynessIsLoneliness_(OIL)&diff=5662 2009-09-01T08:51:05Z

<p>LuigiIannone: Review has been created. Annotation 'assigned' has been removed. Annotation 'waiting' has been removed.</p> <hr /> <div>{{Logical_OP_Proposal_toolbar}}<br /> {{Include Image<br /> |ImageName=[[Media:AntipatternOIL.JPG]]<br /> }}<br /> {{Logical OP General Template<br /> |Name=OnlynessIsLoneliness (OIL)<br /> |SubmittedBy=Catherine Roussey, Oscar Corcho<br /> }}<br /> {{Logical OP Description Template<br /> |Motivation=We have identified a set of patterns that are commonly used by domain experts in their DL formalisations and OWL implementations, and that normally result in unsatisfiable classes or modelling errors. As aforementioned all these antipatterns come from a misuse and misunderstanding of DL expressions by ontology developers. Thus they are all Logical AntiPatterns (LAP): they are independent from a specific domain of interest, but dependent on the expressivity of the logical formalism used for the representation. We have categorized them into three groups:<br /> |Aim=The ontology developer created a universal restriction to say that C1 instances can only be linked with property R to C2 instances. Next, a new universal restriction is added saying that C1 instances can only be linked with R to C3 instances, with C2 and C3 disjoint. In general, this is because the ontology developer forgot the previous axiom in the same class or in the parent class.<br /> |Solution=C1 subClassOf R only C2; C1 subClassOf R only C3; C2 disjointWith C3<br /> If it makes sense, we propose to the domain expert to transform the two universal restrictions into only one that refers to the disjunction of C2 and C3. <br /> C1 subClassOf R only (C2 or C3); C2 disjointWith C3<br /> }}<br /> {{Logical OP Example Template<br /> |ProblemExample=Transtitional_Waters subClassOf is_nearby only Sea_Waters; Transitional_Waters subClassOf is_nearby only River_Mouths; River_Mouths disjointWith Sea_Waters<br /> <br /> see Aguas_de_Transicion concept in hydrontology.<br /> |SolutionExample=http://www.dia.fi.upm.es/~ocorcho/OWLDebugging/<br /> |Consequences=Transtitional_Waters subClassOf is_nearby only (Sea_Waters or River_Mouths); River_Mouths disjointWith Sea_Waters<br /> }}<br /> {{Logical OP Reference Template}}<br /> <br /> {{Scenarios about me}}<br /> {{Reviews about me}}<br /> {{Submission to event<br /> |Event=WOP2009:Main<br /> }}<br /> <br /> <br /> [[Category:Review assigned]]</div>

LuigiIannone http://ontologydesignpatterns.org/index.php?title=Reviews:LuigiIannone_about_OnlynessIsLoneliness_(OIL)&diff=5661 2009-09-01T08:51:04Z

<p>LuigiIannone: New page: {{Content OP Proposal Review Template |CreationDate=2009/9/1 |SubmittedBy=LuigiIannone |ContentOPUnderReview=OnlynessIsLoneliness (OIL) |RevisionID=5621 |Score=1 - needs minor revision |Re...</p> <hr /> <div>{{Content OP Proposal Review Template<br /> |CreationDate=2009/9/1<br /> |SubmittedBy=LuigiIannone<br /> |ContentOPUnderReview=OnlynessIsLoneliness (OIL)<br /> |RevisionID=5621<br /> |Score=1 - needs minor revision<br /> |ReviewSummary=In order to avoid the confusion I would rather describe the solution as the pattern, rather than the anti-pattern. Therefore, i would leave the motivation untouched but I'd reword the aim. Instead of describing the common mistake and its possible correction, I would start describing the situation, i.e.: a universal value restriction on a property that has, in fact, as its range the union of two disjunct classes.<br /> <br /> |ReviewConfidence=Good<br /> |ReviewProblems=I would add some natural language description of the problem example to the bare OWL code.<br /> |ReviewUnderstandability=Rewording the Aim section will avoid confusion between the anti-pattern and the proposed solution.<br /> Commenting the problem example with more text in addition to the OWL could certainly improve the understandability of the pattern.<br /> |ReviewClearRelevance=Something more could be said in the motivation about the consequences that using the wrong solution (anti-pattern) could have in terms of consistency of the ontology and satisfiability of its classes<br /> }}</div>

LuigiIannone http://ontologydesignpatterns.org/index.php?title=User:LuigiIannone&diff=3500 2009-02-20T12:29:53Z

<p>LuigiIannone: </p> <hr /> <div>{{User Template<br /> |FirstName=Luigi<br /> |LastName=Iannone<br /> |Gender=Male<br /> |HomePage=http://www.cs.man.ac.uk/~iannonel<br /> |Organization=University of Manchester<br /> |OrganizationType=Educational Training and Research Institution<br /> |OrganizationWebSite=http://www.manchester.ac.uk/<br /> |Country=United Kingdom United Kingdom (GB)<br /> |Role=Researcher<br /> }}<br /> {{Account Request Template<br /> |Motivation=Invited to join the editorial board<br /> |PossibleMainContribution=To help other users to solve modeling problems<br /> |DomainsOfInterest=Community:University<br /> |HowDidIKnowAbout=conference/public events, colleagues<br /> }}</div>

LuigiIannone http://ontologydesignpatterns.org/index.php?title=User:LuigiIannone&diff=3499 2009-02-20T12:28:30Z

<p>LuigiIannone: </p> <hr /> <div>{{User Template<br /> |FirstName=Luigi<br /> |LastName=Iannone<br /> |Gender=Male<br /> |Picture=http://www.cs.man.ac.uk/~iannonel/images/Me.JPG<br /> |HomePage=http://www.cs.man.ac.uk/~iannonel<br /> |Organization=University of Manchester<br /> |OrganizationType=Educational Training and Research Institution<br /> |OrganizationWebSite=http://www.manchester.ac.uk/<br /> |Country=United Kingdom United Kingdom (GB)<br /> |Role=Researcher<br /> }}<br /> {{Account Request Template<br /> |Motivation=Invited to join the editorial board<br /> |PossibleMainContribution=To help other users to solve modeling problems<br /> |DomainsOfInterest=Community:University<br /> |HowDidIKnowAbout=conference/public events, colleagues<br /> }}</div>

LuigiIannone