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.algorithms.el; 020 021import java.util.Set; 022 023import org.semanticweb.owlapi.model.OWLProperty; 024 025/** 026 * Convenience class representing an EL OWLClassExpression tree and a set of roles. 027 * 028 * @author Jens Lehmann 029 * 030 */ 031public class TreeAndRoleSet { 032 033 private ELDescriptionTree tree; 034 private Set<OWLProperty> roles; 035 036 public TreeAndRoleSet(ELDescriptionTree tree, Set<OWLProperty> roles) { 037 this.tree = tree; 038 this.roles = roles; 039 } 040 041 /** 042 * @return the tree 043 */ 044 public ELDescriptionTree getTree() { 045 return tree; 046 } 047 048 /** 049 * @return the roles 050 */ 051 public Set<OWLProperty> getRoles() { 052 return roles; 053 } 054 055 @Override 056 public String toString() { 057 return "("+tree.toDescriptionString() + "," + roles.toString()+")"; 058 } 059 060}