01534nas a2200241 4500008004100000245007700041210006900118260004100187520073700228653002000965653001500985653001901000653001301019653002001032653001801052100001901070700002001089700001901109700001601128700002101144700002001165856010701185 2019 eng d00aA Method for Automatically Generating Schema Diagrams for OWL Ontologies0 aMethod for Automatically Generating Schema Diagrams for OWL Onto aVilla Clara, CubabSpringerc06/20193 a

Interest in Semantic Web technologies, including knowledge graphs and ontologies, is increasing rapidly in industry and academics. In order to support ontology engineers and domain experts, it is necessary to provide them with robust tools that facilitate the ontology engineering process. Often, the schema diagram of an ontology is the most important tool for quickly conveying the overall purpose of an ontology. In this paper, we present a method for programmatically generating a schema diagram from an OWL file. We evaluate its ability to generate schema diagrams similar to manually drawn schema diagrams and show that it outperforms VOWL and OWLGrEd. In addition, we provide a prototype implementation of this tool.

10adesign patterns10aevaluation10aimplementation10aontology10aschema diagrams10avisualization1 aShimizu, Cogan1 aEberhart, Aaron1 aKarima, Nazifa1 aHirt, Quinn1 aKrisnadhi, Adila1 aHitzler, Pascal uhttps://daselab.cs.ksu.edu/publications/method-automatically-generating-schema-diagrams-owl-ontologies02265nas a2200193 4500008004100000245009900041210006900140260003200209520153800241653002801779653002001807653002301827653002401850653002001874100001701894700001701911700002201928856012101950 2019 eng d00aTracking Human Behavioural Consistency by Analysing Periodicity of Household Water Consumption0 aTracking Human Behavioural Consistency by Analysing Periodicity  aPrague, Czech RepublicbACM3 a

People are living longer than ever due to advances in healthcare, and this has prompted many healthcare providers to look towards remote patient care as a means to meet the needs of the future. It is now a priority to enable people to reside in their own homes rather than in overburdened facilities whenever possible. The increasing maturity of IoT technologies and the falling costs of connected sensors has made the deployment of remote healthcare at scale an increasingly attractive prospect. In this work we demonstrate that we can measure the consistency and regularity of the behaviour of a household using sensor readings generated from interaction with the home environment. We show that we can track changes in this behaviour regularity longitudinally and detect changes that may be related to significant life events or trends that may be medically significant. We achieve this using periodicity analysis on water usage readings sampled from the main household water meter every 15 minutes for over 8 months. We utilise an IoT Application Enablement Platform in conjunction with low cost LoRa-enabled sensors and a Low Power Wide Area Network in order to validate a data collection methodology that could be deployed at large scale in future. We envision the statistical methods described here being applied to data streams from the homes of elderly and at-risk groups, both as a means of  early illness  detection  and  for  monitoring  the well-being of those with known illnesses.

10aAmbient Assisted Living10aHome Monitoring10aInternet of Things10aSensor Applications10aSensor Networks1 aQuinn, Seán1 aMurphy, Noel1 aSmeaton, Alan, F. uhttps://daselab.cs.ksu.edu/publications/tracking-human-behavioural-consistency-analysing-periodicity-household-water02311nas a2200241 4500008004100000022001400041245006800055210006700123300001200190490000600202520156900208653002301777653002101800653001501821653001501836100003401851700002501885700002901910700001801939700002001957700002001977856007201997 2018 eng d a2352-864800aMachine learning for internet of things data analysis: a survey0 aMachine learning for internet of things data analysis a survey a161-1750 v43 a

Rapid developments in hardware, software, and communication technologies have facilitated the emergence of Internet-connected sensory devices that provide observations and data measurements from the physical world. By 2020, it is estimated that the total number of Internet-connected devices being used will be between 25 and 50 billion. As these numbers grow and technologies become more mature, the volume of data being published will increase. The technology of Internet-connected devices, referred to as Internet of Things (IoT), continues to extend the current Internet by providing connectivity and interactions between the physical and cyber worlds. In addition to an increased volume, the IoT generates big data characterized by its velocity in terms of time and location dependency, with a variety of multiple modalities and varying data quality. Intelligent processing and analysis of this big data are the key to developing smart IoT applications. This article assesses the various machine learning methods that deal with the challenges presented by IoT data by considering smart cities as the main use case. The key contribution of this study is the presentation of a taxonomy of machine learning algorithms explaining how different techniques are applied to the data in order to extract higher level information. The potential and challenges of machine learning for IoT data analytics will also be discussed. A use case of applying a Support Vector Machine (SVM) to Aarhus smart city traffic data is presented for a more detailed exploration.

10aInternet of Things10aMachine learning10aSmart City10aSmart data1 aMahdavinejad, Mohammad, Saeid1 aRezvan, Mohammadreza1 aBarekatain, Mohammadamin1 aAdibi, Peyman1 aBarnaghi, Payam1 aSheth, Amit, P. uhttps://www.sciencedirect.com/science/article/pii/S235286481730247X01617nas a2200229 4500008004100000245008100041210006900122300001100191490000600202520090100208653001401109653002901123653003001152653002901182653002301211100001201234700001501246700001701261700002001278700001701298856007201315 2010 eng d00aComputational Complexity and Anytime Algorithm for Inconsistency Measurement0 aComputational Complexity and Anytime Algorithm for Inconsistency a3–210 v43 a

Measuring inconsistency degrees of inconsistent knowledge bases is an important problem as it provides context information for facilitating inconsistency handling. Many methods have been proposed to solve this problem and a main class of them is based on some kind of paraconsistent semantics. In this paper, we consider the computational aspects of inconsistency degrees of propositional knowledge bases under 4-valued semantics. We first give a complete analysis of the computational complexity of computing inconsistency degrees. As it turns out that computing the exact inconsistency degree is intractable, we then propose an anytime algorithm that provides tractable approximations of the inconsistency degree from above and below. We show that our algorithm satisfies some desirable properties and give experimental results of our implementation of the algorithm

10aalgorithm10acomputational complexity10ainconsistency measurement10aKnowledge representation10amulti-valued logic1 aMa, Yue1 aQi, Guilin1 aXiao, Guohui1 aHitzler, Pascal1 aLin, Zuoquan uhttp://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i41&flag=101837nas a2200205 4500008004100000245007000041210006900111300001400180490000700194520119100201653002301392653003201415653000801447653002501455653001701480653003201497100001801529700002001547856006401567 2010 eng d00aConcept learning in description logics using refinement operators0 aConcept learning in description logics using refinement operator a203–2500 v783 a

With the advent of the Semantic Web, description logics have become one of the most prominent paradigms for knowledge representation and reasoning. Progress in research and applications, however, is constrained by the lack of well-structured knowledge bases consisting of a sophisticated schema and instance data adhering to this schema. It is paramount that suitable automated methods for their acquisition, maintenance, and evolution will be developed. In this paper, we provide a learning algorithm based on refinement operators for the description logic ALCQ including support for concrete roles. We develop the algorithm from thorough theoretical foundations by identifying possible abstract property combinations which refinement operators for description logics can have. Using these investigations as a basis, we derive a practically useful complete and proper refinement operator. The operator is then cast into a learning algorithm and evaluated using our implementation DL-Learner. The results of the evaluation show that our approach is superior to other learning approaches on description logics, and is competitive with established ILP systems.

10adescription logics10aInductive logic programming10aOWL10arefinement operators10aSemantic Web10aStructured Machine Learning1 aLehmann, Jens1 aHitzler, Pascal uhttp://springerlink.metapress.com/content/c040n45u15qrnu44/