Recent Submissions

  • Towards Instance Query Answering for Concepts Relaxed by Similarity Measures 

    Ecke A; Peñaloza R; Turhan A (IIIA-CSIC, 2013)
    In Description Logics (DL) knowledge bases (KBs) information is typically captured by crisp concept descriptions. However, for many practical applications querying the KB by crisp concepts is too restrictive. A controlled ...
  • An Auto-Scaling Cloud Controller based on Fuzzy Q-Learning - Implementation in OpenStack 

    Arabnejad H; Jamshidi P; Estrada G; El Ioini N; Pahl C (Springer-Verlag, 2016)
    Auto-scaling, i.e., acquiring and releasing resources automatically, is a central feature of cloud platforms. The key problem is how and when to add/remove resources in order to meet agreed service-level agreements. Many ...
  • Managing quality constraints in technology-managed learning content processes 

    Pahl C; Mani N (Association for the Advancement of Computing in Education, 2014)
    Technology-enhanced learning content processes consist of individual activities related to the creation, composition, consumption and analysis of content facilitated through services. These service processes are often ...
  • A Personalization Service for Curriculum Planning 

    Baldoni M; Baroglio C; Brunkhorst I; Henze N; Marengo E; Patti V (Universitätsbibliothek Hildesheim, 2006)
    In this work we describe a “semantic personalization” web service for curriculum planning. Based on a semantic annotation of a set of courses, provided by the University of Hannover, reasoning about actions and change —in ...
  • Graph-based pattern identification from architecture change logs 

    Ahmad A; Jamshidi P; Pahl C (Springer, 2012)
    Service-based architectures have become commonplace, creating the need to address their systematic maintenance and evolution. We investigate architecture change representation, primarily focusing on the identification of ...
  • Analyzing impacts of change operations in evolving ontologies 

    Abgaz YM; Javed M; Pahl C (CEUR, 2012)
    Ontologies evolve over time to adapt to the dynamically changing knowledge in a domain. The evolution includes addition of new entities and modification or deletion of obsolete entities. These changes could have impacts ...
  • Gödel Description Logics with General Models 

    Borgwardt S; Distel F; Peñaloza R (CEUR, 2014)
    In the last few years, the complexity of reasoning in fuzzy description logics has been studied in depth. Surprisingly, despite being arguably the simplest form of fuzzy semantics, not much is known about the complexity ...
  • Finite Lattices Do Not Make Reasoning in ALCI Harder 

    Borgwardt S; Peñaloza R (CEUR, 2011)
    We consider the fuzzy logic ALCI with semantics based on a finite residuated lattice. We show that the problems of satisfiability and subsumption of concepts in this logic are ExpTime-complete w.r.t. general TBoxes and ...
  • Complexity Results for Probabilistic Datalog± 

    Ceylan II; Lukasiewicz T; Peñaloza R (IOS Press, 2016)
    We study the query evaluation problem in probabilistic databases in the presence of probabilistic existential rules. Our focus is on the Datalog± family of languages for which we define the probabilistic counterpart using ...
  • Sources of Incompleteness in Grid Publishing 

    Gray AJG; Nutt W; Williams MH (Springer, 2006)
    There is a wide variety of data, both static and streaming, being published on and about computing Grids. However one aspect of Grid data that has received relatively little attention thus far is that of incompleteness. ...
  • Missing Value Imputation in Time Series Using Top-k Case Matching 

    Wellenzohn K; Mitterer H; Gamper J; Böhlen MH; Khayati M (CEUR, 2014)
    In this paper, we present a simple yet effective algorithm, called the Top-k Case Matching algorithm, for the imputation of missing values in streams of time series data that are similar to each other. The key idea of the ...
  • Pinpointing in the Description Logic EL 

    Baader F; Peñaloza R; Suntisrivaraporn B (CEUR, 2007)
  • A service localisation platform 

    Collins L; Pahl C (Curran, 2013)
    The fundamental purpose of service-oriented computing is the ability to quickly provide software and hardware resources to global users. The main aim of service localisation is to provide a method for facilitating the ...
  • Adding Context to Tableaux for DLs 

    Fu W; Peñaloza R (CEUR, 2012)
    We consider the problem of reasoning with ontologies where every axiom is associated to a context, and contexts are related through a total order. These contexts could represent, for example, a degree of trust associated ...
  • A template description framework for services as a utility for cloud brokerage 

    Zhang L; Fowley F; Pahl C (SCITEPRESS, 2014)
    Integration and mediation are two core functions that a cloud service broker needs to perform. The description of services involved plays a central role in this endeavour to enable services to be considered as commoditised ...
  • Bringing the Cloud to Rural and Remote Areas via Cloudlets 

    Helmer S; Pahl C; Sanin J; Miori L; Brocanelli S; Cardano F; Gadler D; Morandini D; Piccoli A; Salam S; Shahrear AM; Ventura A; Abrahamsson P; Oyetoyan TD (ACM, 2016)
  • A Certification Technique for Cloud Security Adaptation 

    Ardagna CA; Asal R; Damiani E; El Ioini N; Pahl C; Dimitrakos T (IEEE, 2016)
    Unpredictability of cloud computing due to segregation of visibility and control between applications, data owners, and cloud providers increases tenants’ uncertainty when using cloud services. Adaptation techniques become ...
  • Non-Gödel Negation Makes Unwitnessed Consistency Undecidable 

    Borgwardt S; Peñaloza R (CEUR, 2012)
    Recent results show that ontology consistency is undecidable for a wide variety of fuzzy Description Logics (DLs). Most notably, undecidability arises for a family of inexpressive fuzzy DLs using only conjunction, existential ...

View more