http://ontologydesignpatterns.org/index.php/Special:ExportRDF/Submissions-3ADisjointnessOfComplement_-28DOC-29
type: Ontology
creation date: 2026-08-24T22:07:12+00:00
imports: http://semantic-mediawiki.org/swivt/1.0

Submissions:DisjointnessOfComplement (DOC)
type: Subject
type: Category-3ALogicalOP
type: Category-3AReview assigned
type: Category-3ASubmitted to event
page: http://ontologydesignpatterns.org/index.php/Submissions-3ADisjointnessOfComplement_-28DOC-29
wiki namespace: 500
wiki page content language: en
logical ODP aim: The ontology developer may want to say that C1 and C2 cannot share instances-2C instead of defining C1 as the logical negation of C2. Hence it could be more appropriate to state that C1 and C2 are disjoint.
logical ODP name: DisjointnessOfComplement -28DOC-29
logical ODP sample: OWLDebugging
submitted by: User-3ACatherineRoussey
submitted by: User-3AOscarCorcho
submitted to event: WOP-3A2009
wiki page modification date: 2010-05-31T08:29:16Z
modification date-23aux: 2455347.8536574
wiki page sort key: DisjointnessOfComplement (DOC)

http://www.ontologydesignpatterns.org/odp-portal/Submissions-3ADisjointnessOfComplement_-28DOC-29-23_QUERYf492886fcb18fd37e13af1c0b50a6855
type: Subject
master page: Submissions:DisjointnessOfComplement (DOC)
wiki namespace: 500
query depth: 1
query format: template
query size: 2
query string: [[ScenarioOf::Submissions:DisjointnessOfComplement (DOC)]]
wiki page sort key: DisjointnessOfComplement (DOC)

http://www.ontologydesignpatterns.org/odp-portal/Submissions-3ADisjointnessOfComplement_-28DOC-29-23_QUERYeaf547c3ff6d7daa03f6edac7304563c
type: Subject
master page: Submissions:DisjointnessOfComplement (DOC)
wiki namespace: 500
query depth: 0
query format: table
query size: 0
wiki page sort key: DisjointnessOfComplement (DOC)

http://www.ontologydesignpatterns.org/odp-portal/Submissions-3ADisjointnessOfComplement_-28DOC-29-23_QUERY0e819310826b3e81edb4c89d05df3618
type: Subject
master page: Submissions:DisjointnessOfComplement (DOC)
wiki namespace: 500
query depth: 1
query format: list
query size: 2
query string: [[:Submissions:DisjointnessOfComplement (DOC)]] [[TakesInAccountReview::+]]
wiki page sort key: DisjointnessOfComplement (DOC)

http://www.ontologydesignpatterns.org/odp-portal/Submissions-3ADisjointnessOfComplement_-28DOC-29-23_QUERYb7ee7ee2ab107b7b652edb2effa23c60
type: Subject
master page: Submissions:DisjointnessOfComplement (DOC)
wiki namespace: 500
query depth: 0
query format: table
query size: 0
wiki page sort key: DisjointnessOfComplement (DOC)

http://www.ontologydesignpatterns.org/odp-portal/Submissions-3ADisjointnessOfComplement_-28DOC-29-23_QUERYc0ed5f68b2a9692fb8d0e57e771dea7a
type: Subject
master page: Submissions:DisjointnessOfComplement (DOC)
wiki namespace: 500
query depth: 1
query format: template
query size: 2
query string: [[ReferenceSubject::Submissions:DisjointnessOfComplement (DOC)]]
wiki page sort key: DisjointnessOfComplement (DOC)

http://www.ontologydesignpatterns.org/odp-portal/Submissions-3ADisjointnessOfComplement_-28DOC-29-23_ERR32617756f0f702a55404d89059af32b8
type: Subject
master page: Submissions:DisjointnessOfComplement (DOC)
wiki namespace: 500
has improper value for: Property-3AHas query
has processing error text: [2,"smw_emptysubquery"]
wiki page sort key: DisjointnessOfComplement (DOC)

http://www.ontologydesignpatterns.org/odp-portal/Submissions-3ADisjointnessOfComplement_-28DOC-29-23_ERR37d9d490a80c2b613d28daf7653a7067
type: Subject
master page: Submissions:DisjointnessOfComplement (DOC)
wiki namespace: 500
has improper value for: Property-3ALogicalODPMotivation
has processing error text: [2,"smw-datavalue-wikipage-invalid-title","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."]
wiki page sort key: DisjointnessOfComplement (DOC)

http://www.ontologydesignpatterns.org/odp-portal/Submissions-3ADisjointnessOfComplement_-28DOC-29-23_ERR741acd559d4e2a0c305194092ac0de70
type: Subject
master page: Submissions:DisjointnessOfComplement (DOC)
wiki namespace: 500
has improper value for: Property-3ALogicalODPDescription
has processing error text: [2,"smw-datavalue-wikipage-invalid-title","C1 isEquivalentTo not C2\nshould be replace by\nC1 disjointWith C2"]
wiki page sort key: DisjointnessOfComplement (DOC)

http://www.ontologydesignpatterns.org/odp-portal/Submissions-3ADisjointnessOfComplement_-28DOC-29-23_ERR9053a20552f4e63c2941eaac0a3aa4eb
type: Subject
master page: Submissions:DisjointnessOfComplement (DOC)
wiki namespace: 500
has improper value for: Property-3ALogicalODPScenario
has processing error text: [2,"smw-datavalue-wikipage-invalid-title","Salt_Lagoon isEquivalentTo not Fresh_Waters\nsee concept Laguna_Salada in Hydrontology"]
wiki page sort key: DisjointnessOfComplement (DOC)