001/**
002 * Copyright (C) 2007 - 2016, Jens Lehmann
003 *
004 * This file is part of DL-Learner.
005 *
006 * DL-Learner is free software; you can redistribute it and/or modify
007 * it under the terms of the GNU General Public License as published by
008 * the Free Software Foundation; either version 3 of the License, or
009 * (at your option) any later version.
010 *
011 * DL-Learner is distributed in the hope that it will be useful,
012 * but WITHOUT ANY WARRANTY; without even the implied warranty of
013 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
014 * GNU General Public License for more details.
015 *
016 * You should have received a copy of the GNU General Public License
017 * along with this program.  If not, see <http://www.gnu.org/licenses/>.
018 */
019package org.dllearner.utilities.owl;
020
021public class OWLVocabulary {
022
023        public static final String RDF_TYPE = "http://www.w3.org/1999/02/22-rdf-syntax-ns#type";
024        
025        public static final String RDF_FIRST = "http://www.w3.org/1999/02/22-rdf-syntax-ns#first";
026        public static final String RDF_REST = "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest";
027        public static final String RDF_NIL = "http://www.w3.org/1999/02/22-rdf-syntax-ns#nil";
028                                        
029        public static final String RDFS_SUBCLASS_OF = "http://www.w3.org/2000/01/rdf-schema#subClassOf";
030        public static final String RDFS_CLASS = "http://www.w3.org/2000/01/rdf-schema#Class";
031        public static final String RDFS_IS_DEFINED_BY = "http://www.w3.org/2000/01/rdf-schema#isDefinedBy";
032        
033        public static final String RDFS_COMMENT = "http://www.w3.org/2000/01/rdf-schema#comment";
034        public static final String RDFS_LABEL = "http://www.w3.org/2000/01/rdf-schema#label";
035        public static final String RDFS_DESCRIPTION = "http://www.w3.org/2000/01/rdf-schema#description";
036        
037        public static final String RDFS_SUB_PROPERTY_OF = "http://www.w3.org/2000/01/rdf-schema#subPropertyOf";
038        public static final String RDFS_domain = "http://www.w3.org/2000/01/rdf-schema#domain";
039        public static final String RDFS_range = "http://www.w3.org/2000/01/rdf-schema#range";
040        
041        
042        
043        public static final String OWL_SAME_AS = "http://www.w3.org/2002/07/owl#sameAs";
044        public static final String OWL_DIFFERENT_FROM = "http://www.w3.org/2002/07/owl#differentFrom";
045        
046        public static final String OWL_OBJECTPROPERTY = "http://www.w3.org/2002/07/owl#ObjectProperty";
047        public static final String OWL_DATATYPPROPERTY = "http://www.w3.org/2002/07/owl#DataTypeProperty";
048        public static final String OWL_CLASS = "http://www.w3.org/2002/07/owl#Class";
049        
050        public static final String OWL_SUBCLASS_OF = "http://www.w3.org/2002/07/owl#subClassOf";
051        public static final String OWL_DISJOINT_WITH = "http://www.w3.org/2002/07/owl#disjointWith";
052        public static final String OWL_EQUIVALENT_CLASS = "http://www.w3.org/2002/07/owl#equivalentClass";
053        
054        public static final String OWL_intersectionOf = "http://www.w3.org/2002/07/owl#intersectionOf";
055        public static final String OWL_unionOf = "http://www.w3.org/2002/07/owl#unionOf";
056        public static final String OWL_complementOf = "http://www.w3.org/2002/07/owl#complementOf";
057
058        public static final String OWL_RESTRICTION =  "http://www.w3.org/2002/07/owl#Restriction";
059        public static final String OWL_ON_PROPERTY =    "http://www.w3.org/2002/07/owl#onProperty";
060        
061        public static final String OWL_ALL_VALUES_FROM =  "http://www.w3.org/2002/07/owl#allValuesFrom";
062        public static final String OWL_SOME_VALUES_FROM =  "http://www.w3.org/2002/07/owl#someValuesFrom";
063        public static final String OWL_HAS_VALUE =  "http://www.w3.org/2002/07/owl#hasValue";
064        
065        public static final String OWL_maxCardinality  =        "http://www.w3.org/2002/07/owl#maxCardinality";
066        public static final String OWL_minCardinality =         "http://www.w3.org/2002/07/owl#minCardinality";
067        public static final String OWL_cardinality =    "http://www.w3.org/2002/07/owl#cardinality";
068
069        
070        public static final String OWL_FunctionalProperty = "http://www.w3.org/2002/07/owl#FunctionalProperty";
071        public static final String OWL_InverseFunctionalProperty = "http://www.w3.org/2002/07/owl#InverseFunctionalProperty";
072        public static final String OWL_TransitiveProperty = "http://www.w3.org/2002/07/owl#TransitiveProperty";
073        public static final String OWL_SymmetricProperty = "http://www.w3.org/2002/07/owl#SymmetricProperty";
074        
075        
076        public static final String OWL_equivalentProperty = "http://www.w3.org/2002/07/owl#equivalentProperty";
077        public static final String OWL_inverseOf = "http://www.w3.org/2002/07/owl#inverseOf";
078
079        
080        public static final String OWL_THING = "http://www.w3.org/2002/07/owl#Thing";
081        public static final String OWL_NOTHING = "http://www.w3.org/2002/07/owl#Nothing";
082        
083        //OWL2 Namespace: http://www.w3.org/2006/12/owl2#
084        
085        public static boolean isStringClassVocab (String possClass){
086                return (RDFS_CLASS.equalsIgnoreCase(possClass)
087                || OWL_CLASS.equalsIgnoreCase(possClass));
088                
089        }
090        
091        public static boolean isStringSubClassVocab (String possSubClass){
092                return (RDFS_SUBCLASS_OF.equalsIgnoreCase(possSubClass)
093                || OWL_SUBCLASS_OF.equalsIgnoreCase(possSubClass));
094                
095        }
096
097}