org.w3.owl.AllDifferent Maven / Gradle / Ivy

Go to download
/*
 * Copyright (c) 2012 - 2024 Data In Motion and others.
 * All rights reserved. 
 * 
 * This program and the accompanying materials are made
 * available under the terms of the Eclipse Public License 2.0
 * which is available at https://www.eclipse.org/legal/epl-2.0/
 * 
 * SPDX-License-Identifier: EPL-2.0
 * 
 * Contributors:
 *      Mark Hoffmann - initial API and implementation
 */
package org.w3.owl;

import org.eclipse.emf.common.util.EList;

import org.osgi.annotation.versioning.ProviderType;

import org.w3.rdfs.RDFResource;

/**
 * 
 * A representation of the model object 'All Different'.
 * 
 *
 * 
 * The class of collections of pairwise different individuals.
 * 
 *
 * 
 * The following features are supported:
 * 
 * 
 *   {@link org.w3.owl.AllDifferent#getDistinctMembers Distinct Members}
 * 
 *
 * @see org.w3.owl.OwlPackage#getAllDifferent()
 * @model
 * @generated
 */
@ProviderType
public interface AllDifferent extends RDFResource {
	/**
	 * Returns the value of the 'Distinct Members' reference list.
	 * The list contents are of type {@link org.w3.owl.Thing}.
	 * 
	 * 
	 * @return the value of the 'Distinct Members' reference list.
	 * @see org.w3.owl.OwlPackage#getAllDifferent_DistinctMembers()
	 * @model ordered="false"
	 * @generated
	 */
	EList getDistinctMembers();

} // AllDifferent