The performance of a photovoltaic (PV) system is negatively affected when operating under shading conditions. Maximum power point tracking (MPPT) systems are used to overcome this hurdle. Designing an efficient MPPT-based controller requires knowledge about conversion in PV systems. However, it difficult for nontechnical solar energy consumers define different parameters the and deal with disti...

Resource Allocation (RAlloc) is one of the most important tasks in organizing humanitarian response to humanitarian crises. It is not only that adequate and efficient RAlloc save lives and reduce damages caused by humanitarian crises, but RAlloc must be fast and efficient to save time and resources. Given that RAlloc is a type of a decision making process, it is expected that decision on RAlloc...

Clinical trials are fundamental for medical science: they provide the evaluation for new treatments and new diagnostic approaches. One of the most difficult parts of clinical trials is the recruitment of patients: many trials fail due to lack of participants. Recruitment is done by matching the eligibility criteria of trials to patient conditions. This is usually done manually, but both the lar...

RDFox is a scalable, centralised, main-memory, multi-core RDF system that supports materialisation-based reasoning in OWL 2 RL and SWRL. Reasoning with the owl:sameAs property using the OWL 2 RL/RDF rules can be very inefficient, so in this paper we extend RDFox to handle owl:sameAs via rewriting—replacing equal resources with a single representative. The main challenge in applying this well-kn...

When an OWL ontology, together with SWRL rules, is defined or verbalized in controlled natural language (CNL) it is important to ensure that the meaning of CNL statements will be unambiguously (predictably) interpreted by both human and machine. CNLs that are based on analytical languages (namely, English) impose a number of syntactic restrictions that enable the deterministic interpretation. S...

The Living Document Project aims to harness the collective knowledge within communities in digital libraries, making it possible to enhance knowledge discovery and dissemination as well as to facilitate interdisciplinary collaborations amongst readers. Here we present a prototype that allows users to annotate content within digital libraries; the annotation schema is built upon the Annotation O...

Current network management architectures are using different models to define management information objects. These definitions actually also include, in a non-formal way, the definition of some behaviour information that a manager should accomplish related to the managed objects. So, a manager is not able to make an automatic processing of this behaviour information. Prior research work propos...

In this paper we use results from Computable Set Theory as a means to represent and reason about description logics and rule languages for the semantic web. Specifically, we introduce the description logic DL〈4LQS〉(D)–admitting features such as min/max cardinality constructs on the left-hand/righthand side of inclusion axioms, role chain axioms, and datatypes–which turns out to be quite express...

In the traditional railway information system, the users have to create many queries to retrieve specific train information. The results of the queries are based on the syntactic nature of data. A semi-illiterate human being finds difficulty in reading the railway time table. This problem can be effectively handled through semantic technology. Semantic web, future web, will revolutionize the wo...

In this paper we consider the most common ABox reasoning services for the description logic DL〈4LQS〉(D) (DL D , for short) and prove their decidability via a reduction to the satisfiability problem for the set-theoretic fragment 4LQS. The description logic DL D is very expressive, as it admits various concept and role constructs, and data types, that allow one to represent rule-based languages ...