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 DatatypeMinCardinalityRestriction extends DatatypeCardinalityRestriction {
029    
030            /**
031             * 
032             */
033            private static final long serialVersionUID = 7192239562553467873L;
034    
035            /**
036             * @param datatypeProperty
037             * @param dataRange
038             * @param cardinality
039             */
040            public DatatypeMinCardinalityRestriction(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            /* (non-Javadoc)
077             * @see org.dllearner.core.owl.Description#accept(org.dllearner.core.owl.DescriptionVisitor)
078             */
079            @Override
080            public void accept(DescriptionVisitor visitor) {
081                    visitor.visit(this);
082            }       
083            
084            public void accept(KBElementVisitor visitor) {
085                    visitor.visit(this);
086            }
087    
088            /* (non-Javadoc)
089             * @see org.dllearner.core.owl.Description#toManchesterSyntaxString()
090             */
091            @Override
092            public String toManchesterSyntaxString(String baseURI, Map<String,String> prefixes) {
093                    // TODO Auto-generated method stub
094                    return null;
095            }       
096    }