001    /**
002     * Copyright (C) 2007-2011, 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     */
019    
020    package org.dllearner.core.owl;
021    
022    import java.util.Map;
023    
024    /**
025     * @author Jens Lehmann
026     *
027     */
028    public class DatatypeMaxCardinalityRestriction extends DatatypeCardinalityRestriction {
029    
030            /**
031             * 
032             */
033            private static final long serialVersionUID = -6593396982074419677L;
034    
035            /**
036             * @param datatypeProperty
037             * @param dataRange
038             * @param cardinality
039             */
040            public DatatypeMaxCardinalityRestriction(DatatypeProperty datatypeProperty,
041                            DataRange dataRange, int cardinality) {
042                    super(datatypeProperty, dataRange, cardinality);
043                    // TODO Auto-generated constructor stub
044            }
045    
046            /* (non-Javadoc)
047             * @see org.dllearner.core.owl.Concept#getArity()
048             */
049            @Override
050            public int getArity() {
051                    // TODO Auto-generated method stub
052                    return 0;
053            }
054    
055            /* (non-Javadoc)
056             * @see org.dllearner.core.owl.KBElement#getLength()
057             */
058            public int getLength() {
059                    // TODO Auto-generated method stub
060                    return 0;
061            }
062    
063            /* (non-Javadoc)
064             * @see org.dllearner.core.owl.KBElement#toString(java.lang.String, java.util.Map)
065             */
066            public String toString(String baseURI, Map<String, String> prefixes) {
067                    // TODO Auto-generated method stub
068                    return null;
069            }
070            
071            public String toKBSyntaxString(String baseURI, Map<String, String> prefixes) {
072                    // TODO Auto-generated method stub
073                    return null;
074            }
075    
076            @Override
077            public void accept(DescriptionVisitor visitor) {
078                    visitor.visit(this);
079            }
080            
081            public void accept(KBElementVisitor visitor) {
082                    visitor.visit(this);
083            }
084    
085            /* (non-Javadoc)
086             * @see org.dllearner.core.owl.Description#toManchesterSyntaxString()
087             */
088            @Override
089            public String toManchesterSyntaxString(String baseURI, Map<String,String> prefixes) {
090                    // TODO Auto-generated method stub
091                    return null;
092            }
093    }