Filters








189 Hits in 4.8 sec

Incremental Learning of TBoxes from Interpretation Sequences with Methods of Formal Concept Analysis

Francesco Kriegel
2015 International Workshop on Description Logics  
Formal Concept Analysis and its methods for computing minimal implicational bases have been successfully applied to axiomatise minimal EL-TBoxes from models, so called bases of GCIs.  ...  The method is then utilised to formulate an incremental learning algorithm that requires a stream of interpretations, and an expert to guide the learning process, respectively, as input.  ...  Based on these results and definitions, we now want to formulate an incremental learning algorithm which takes a possibly empty initial TBox T 0 and a sequence (I n ) n≥1 of interpretations as input, and  ... 
dblp:conf/dlog/Kriegel15 fatcat:jeqrgrvq6vep5fygve3gjffjdu

Axiomatization of General Concept Inclusions from Streams of Interpretations with Optional Error Tolerance

Francesco Kriegel
2016 European Conference on Artificial Intelligence  
More specifically, we consider the closure operators induced by interpretations as well as closure operators induced by TBoxes, and show how we can learn GCIs from streams of interpretations, and how an  ...  error-tolerant axiomatization of GCIs from an interpretation guided by a hand-crafted TBox can be achieved.  ...  C D is valid in the infimum of C → C II δ and C → C T δ . As a conclusion, we infer the following incremental method for the computation of a sequence of TBoxes from a sequence of interpretations: 1.  ... 
dblp:conf/ecai/Kriegel16 fatcat:4byiqzgzwjh2hchqpk7vwqvxky

Interpretation of complex situations in a semantic-based surveillance framework

Carles Fernández, Pau Baiget, Xavier Roca, Jordi Gonzàlez
2008 Signal processing. Image communication  
, which leads to the conception of a situation-based ontology; (iii) the use of situational analysis for content detection and a progressive interpretation of semantically rich scenes, by managing incomplete  ...  in the analysis.  ...  Jordi Gonzà lez also acknowledges the support of a Juan de la Cierva Postdoctoral fellowship from the Spanish MEC.  ... 
doi:10.1016/j.image.2008.04.015 fatcat:7hun6y3evndodcfcqvic2zszvy

A Probabilistic Abduction Engine for Media Interpretation Based on Ontologies [chapter]

Oliver Gries, Ralf Möller, Anahita Nafissi, Maurice Rosenfeld, Kamil Sokolski, Michael Wessel
2010 Lecture Notes in Computer Science  
For multimedia interpretation, and in particular for the combined interpretation of information coming from different modalities, a semantically well-founded formalization is required in the context of  ...  We propose an abduction-based formalism that uses description logics for the ontology and Horn rules for defining the space of hypotheses for explanations (i.e., the space of possible interpretations of  ...  In the following definitions, we denote places where variables can appear with uppercase letters. Let V be a set of variables, and let X, Y 1 , . . . , Y n be sequences . . . of variables from V .  ... 
doi:10.1007/978-3-642-15918-3_15 fatcat:bplgcif54vaurprbdhv54uphea

Employing description logics in Ambient Intelligence for modeling and reasoning about complex situations

Thomas Springer, Anni-Yasmin Turhan
2009 Journal of Ambient Intelligence and Smart Environments  
The benefits from the approach are manifold: the semantics of Description Logics allow for graceful handling of incomplete knowledge.  ...  We underpin the feasibility of our approach by providing a case study based on a smart home application conducting an evaluation of different Description Logics reasoners with respect to our application  ...  Moreover, the authors would like to thank Bootawee Suntisrivaraporn from TU Dresden and Michael Pirker from Siemens AG, Intelligent Autonomous Systems for their helpful comments on earlier versions of  ... 
doi:10.3233/ais-2009-0032 fatcat:6lu3l54fdzh3xj2nf2l4uig2oe

Online Reasoning for Ontology-Based Error Detection in Text [chapter]

Fernando Gutiererz, Dejing Dou, Stephen Fickas, Gina Griffiths
2014 Lecture Notes in Computer Science  
We have evaluated our proposed method by applying it to a set of written summaries from the domain of Ecosystems.  ...  Yet, these methods require manually defining the type of errors that are expected to be found in the text before applying them.  ...  The views and conclusions contained in this document are those of the authors and should not be interpreted as necessarily representing the official policies, either expressed or implied, of the NSF.  ... 
doi:10.1007/978-3-662-45563-0_34 fatcat:nrpdktejyjasfiol7qv3nvja3i

Axiomatisation of general concept inclusions from finite interpretations

D. Borchmann, F. Distel, F. Kriegel
2016 Journal of Applied Non-Classical Logics  
To this end, we shall investigate in this work an approach which shall allow us to extract terminological knowledge in the form of general concept inclusions from factual data, where the data is given  ...  Because human experts cannot be omitted completely from the construction of knowledge bases, it would therefore be desirable to at least get some support from machines during this process.  ...  We also express our thanks to the anonymous reviewers who greatly helped to improve the presentation of our work.  ... 
doi:10.1080/11663081.2016.1168230 fatcat:22qcez3ldndibktp3f2l5bxonu

Extracting Knowledge Tokens from Text Streams

Eugene Alferov, Vadim Ermolayev
2013 International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications  
This problem analysis paper presents our position on how could the solution be sought to the problem of extracting semantically rich fragments from a stream of plain text posts.  ...  We finally outline our plan for conducting the experiments with an aim to validate the workflow and find a proper combination of the component techniques for all steps which may solve our specific research  ...  These steps produce several types of outputs in a particular sequence, sometimes referred to as the ontology learning layer cake (c.f. [4] ).  ... 
dblp:conf/icteri/AlferovE13 fatcat:udb7jb4n6vh3vls3riej2svy2y

Semantic Matchmaking for Kinect-Based Posture and Gesture Recognition

Michele Ruta, Floriano Scioscia, Maria di Summa, Saverio Ieva, Eugenio Di Sciascio, Marco Sacco
2014 2014 IEEE International Conference on Semantic Computing  
Innovative analysis methods applied to data extracted by o®-the-shelf peripherals can provide useful results in activity recognition without requiring large computational resources.  ...  Hence, a logic-based matchmaking, exploiting non-standard inference services, allows to: (i) detect postures via on-the-°y comparison of the annotations with standard posture descriptions stored as instances  ...  Acknowledgments The authors acknowledge partial support of the Italian PON project Puglia Digitale 2.0 and E.T.C.P.  ... 
doi:10.1109/icsc.2014.28 dblp:conf/semco/RutaSSISS14 fatcat:az3ij3gz4besfc7ogkoi3nunva

Semantic Matchmaking for Kinect-Based Posture and Gesture Recognition

Michele Ruta, Floriano Scioscia, Maria Di Summa, Saverio Ieva, Eugenio Di Sciascio, Marco Sacco
2014 International Journal of Semantic Computing (IJSC)  
Innovative analysis methods applied to data extracted by o®-the-shelf peripherals can provide useful results in activity recognition without requiring large computational resources.  ...  Hence, a logic-based matchmaking, exploiting non-standard inference services, allows to: (i) detect postures via on-the-°y comparison of the annotations with standard posture descriptions stored as instances  ...  Acknowledgments The authors acknowledge partial support of the Italian PON project Puglia Digitale 2.0 and E.T.C.P.  ... 
doi:10.1142/s1793351x14400169 fatcat:n56b2fzpcfferccis74v3lzwhe

EXPtime tableaux for ALC

Francesco M. Donini, Fabio Massacci
2000 Artificial Intelligence  
We propose a tableau calculus for the description logic ALC for checking the satisfiability of a concept with respect to a TBox with general axioms, and transform it into the first simple tableaubased  ...  On the other hand, current algorithms based on tableau methods can take advantage of such cases, but require double exponential time in the worst case.  ...  Fabio Massacci acknowledges the support of the CNR scholarship 201-15-9.  ... 
doi:10.1016/s0004-3702(00)00070-9 fatcat:5bil6begnjerbjh5v6h5amfkq4

A survey of large-scale reasoning on the Web of data

Grigoris Antoniou, Sotiris Batsakis, Raghava Mutharaju, Jeff Z. Pan, Guilin Qi, Ilias Tachmazidis, Jacopo Urbani, Zhangquan Zhou
2018 Knowledge engineering review (Print)  
new insights from the data.  ...  methods and over the conducted experiments.  ...  "III: Small: TROn -Tractable Reasoning with Ontologies."  ... 
doi:10.1017/s0269888918000255 fatcat:bergc5uphbceznigppektgvzrm

Ontology Based Data Access Methods to Teach Students to Transform Traditional Information Systems and Simplify Decision Making Process

Svetlana Chuprina, Igor Postanogov, Olfa Nasraoui
2016 Procedia Computer Science  
The long term goal is to make data management and analysis accessible to a wider range of users for a diverse range of purposes and to simplify the decision making process.  ...  The principal mechanism of our approach is turning a natural language query into a SQL-query for structured data sources by using Ontology-Based Data Access methods.  ...  Acknowledgements The reported study was partially supported by the Government of Perm Krai, research project No.C-26/004.08 and by the Foundation of Assistance for Small Innovative Enterprises, Russia.  ... 
doi:10.1016/j.procs.2016.05.458 fatcat:r5sxflf7pngbnnkbg5ocfvtkgu

An Ontology-Based Approach for Multi-Agent Systems Engineering

Souleymane Koussoube, Armel Ayimdji, Laure Pauline Fotso
2013 International Journal of Modern Education and Computer Science  
We propose a formal process for agentification, starting with an analysis phase which consists of the construction of three formal ontologies (a domain ontology, an ontology of functionalities, and an  ...  The second step, which is a design phase, consists of the operationalization of the single ontology in order to infer in a more formal way the agents of the system.  ...  a UML use case diagram in a TBOX formalized in ALCQI.  ... 
doi:10.5815/ijmecs.2013.01.06 fatcat:o36jbkvgy5ec7f5rv743eg3ghy

Blending under deconstruction

Roberto Confalonieri, Oliver Kutz
2019 Annals of Mathematics and Artificial Intelligence  
This paper aims at presenting a coherent computational narrative, focusing on how one may derive a formal reconstruction of conceptual blending from a deconstruction of the human ability of concept invention  ...  precise, formal and machine-computable way.  ...  The paper builds on a body of work originating from the EU FP7 project COINVENT and later refinements.  ... 
doi:10.1007/s10472-019-09654-6 fatcat:43s7pcygd5d3dit7huznp4p7mu
« Previous Showing results 1 — 15 out of 189 results