78,902 Hits in 11.0 sec

Foundations of instance level updates in expressive description logics

Hongkai Liu, Carsten Lutz, Maja Miličić, Frank Wolter
2011 Artificial Intelligence  
In description logic (DL), ABoxes are used for describing the state of affairs in an application domain.  ...  We analyze such basic ABox updates in several standard DLs, in particular addressing questions of expressibility and succinctness: can updated ABoxes always be expressed in the DL in which the original  ...  TBox level updates have received much less attention than instance level updates.  ... 
doi:10.1016/j.artint.2011.08.003 fatcat:sy5o53mrjncsvpujo3jbzuhhla

Thing Foundational Ontology: ThingFO v1.3's Terms, Properties, Relationships and Axioms [article]

Luis Olsina
2022 arXiv   pre-print
It is an ontology for particular and universal Things placed at the foundational level in the context of a five-tier ontological architecture named FCD-OntoArch (Foundational, Core, Domain and instance  ...  Figure 2 depicts its five tiers, which entail Foundational, Core, Top-Domain, Low-Domain and Instance levels.  ...  We warmly thank Maria Julia Blass and Silvio Gonnet (both CONICET researcher and professor at the National University of Technology, Santa Fe, Argentina) for the validation and feedback provided, which  ... 
arXiv:2107.09129v2 fatcat:ripufpkaqjggdlgtokzkkojvoy

Rule Modeling and Markup [chapter]

Gerd Wagner
2005 Lecture Notes in Computer Science  
We show how certain rules can be specified in a class diagram with the help of OCL.  ...  In this paper we address several issues of rule modeling on the basis of UML. We discuss the relationship between UML class models and OWL vocabularies.  ...  description logic semantics of OWL. − UML class diagrams can be mapped to OWL vocabularies and, in this way, obtain a logical semantics.  ... 
doi:10.1007/11526988_7 fatcat:lzkosrkkyzf5vlxxdthhylifue

An ontology for software component matching

Claus Pahl
2006 International Journal on Software Tools for Technology Transfer (STTT)  
A link between modal logic and description logics will prove invaluable for the provision of reasoning support for component behaviour.  ...  Matching is a central activity in the discovery and assembly of reusable software components. We investigate how ontology technologies can be utilised to support software component development.  ...  The update specification based on description logic illustrates an operation definition in terms of our ontology, see Fig. 4 illustrates this.  ... 
doi:10.1007/s10009-006-0015-9 fatcat:geg77qtxe5gjpl3exy7capipwa

An Ontology for Software Component Matching [chapter]

Claus Pahl
2003 Lecture Notes in Computer Science  
A link between modal logic and description logics will prove invaluable for the provision of reasoning support for component behaviour.  ...  Matching is a central activity in the discovery and assembly of reusable software components. We investigate how ontology technologies can be utilised to support software component development.  ...  The update specification based on description logic illustrates an operation definition in terms of our ontology, see Fig. 4 illustrates this.  ... 
doi:10.1007/3-540-36578-8_2 fatcat:y76dd7kzoze27m2odoklszpss4

Gurukulam: Reasoning based Learning System using Extended Description Logics

G. S. Mahalakshmi, T. V. Geetha
2008 International Journal of Computer Science and Applications  
This paper presents the design and implementation of Gurukulam -nonmonotonic reasoning based learning system which involves extended description logics for knowledge representation.  ...  Inferences are made from the submitted input and are later updated to their respective knowledge base.  ...  The techniques for reasoning in Description Logics, refers to four different settings: 1) reasoning with plain concept expressions 2) reasoning with instances of concepts 3) reasoning with axioms expressing  ... 
dblp:journals/ijcsa/MahalakshmiG08 fatcat:yulznp57hveqlbmxphvare4jhu

Model-driven rule composition for event-based systems

Hannes Obweger, Josef Schiefer, Martin Suntinger, Peter Kepplinger
2011 International Journal of Business Process Integration and Management  
Event patterns are modelled in a visual decision graph from easy-to-understand pieces of pattern-detection logic, and/or from sub-level event patterns.  ...  Focusing on expressiveness as well as manageability, the proposed framework uses a model-driven approach for the rule definition, where the different aspects of a rule are specified in clearly separated  ...  The work presented in this article is part of a larger, long-term research effort aiming at the development of a rule-management system for event-based systems.  ... 
doi:10.1504/ijbpim.2011.043392 fatcat:jhsbm5eabbf2vp6ofrftkktsyy

On Instance-level Update and Erasure in Description Logic Ontologies

G. De Giacomo, M. Lenzerini, A. Poggi, R. Rosati
2008 Journal of Logic and Computation  
update in this logic.  ...  A Description Logic (DL) ontology is constituted by two components, a TBox that expresses general knowledge about the concepts and their relationships, and an ABox that describes the properties of individuals  ...  It is widely accepted that Description Logics [3] (DLs) may provide a solid foundation for both expressing ontologies with a logical formalism, and for reasoning about the knowledge represented in the  ... 
doi:10.1093/logcom/exn051 fatcat:ghpy5p7mrrgd7gsd4rcscsyi3y

Formal verification of ontology transformation for distribution network information model based on meta-model theory

Boya Qin, Dong Liu, Yiming Lu
2020 IET Cyber-Physical Systems  
The model updating and model mapping instances were specified using model checking verification tool SPIN.  ...  This study presents a formal description and verification method of the ontology transformation process of the distribution network information model based on the meta-model theory.  ...  The model updating and model mapping instances are verified using SPIN, a model checking tool. and the National Natural Science Foundation of China (with issue number: 51677116).  ... 
doi:10.1049/iet-cps.2020.0018 fatcat:tnitbw3zgbgzpns55hsu26pdd4

A Deterministic Operational Semantics for Functional Logic Programs

Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal
2002 APPIA-GULP-PRODE Joint Conference on Declarative Programming  
Starting from a "big-step" semantics in natural style which relates expressions and their evaluated results-but it is not sufficient to cover concurrency, search strategies, or to reason about costs associated  ...  to particular computations-, we define a "small-step" operational semantics which actually covers the advanced features of modern functional logic languages.  ...  For instance, an expression x + y with logical variables x and y is represented as let x = x, y = y in x + y.  ... 
dblp:conf/agp/AlbertHH0V02 fatcat:ibspqattzbdbhpzugqsctehm64

Page 53 of Journal of Research and Practice in Information Technology Vol. 20, Issue 2 [page]

1988 Journal of Research and Practice in Information Technology  
In this way the information structure model will use only primitives which have precise descriptions, thus ensuring that the model has firm foundations. 4.  ...  Its initialisation body resets the output to the low logic level.  ... 

Turning Informal Thesauri into Formal Ontologies: A Feasibility Study on Biomedical Knowledge Re-Use

Udo Hahn
2003 Comparative and Functional Genomics  
Biomedical domain knowledge from a semantically weak and shallow terminological resource, the UMLS, is transformed into a rigorous description logics format.  ...  They are the key to proper cleansing of the knowledge directly imported from the UMLS, as well as subsequent updating, maintenance and refinement of large knowledge repositories.  ...  Acknowledgements The paper could not have been written without the invaluable support of Stefan Schulz, who contributed his biomedical expertise and conducted the experiments.  ... 
doi:10.1002/cfg.247 pmid:18629112 pmcid:PMC2447399 fatcat:7porw7kibfbidlemkb73zhbdmu

Towards a Logic-programming System to Debug ASP Knowledge Bases

Juan Carlos Acosta Guadarrama
2011 Latin-American Workshop on Non-Monotonic Reasoning  
This paper is a characterisation in terms of Weak Constraints both for Minimal Generalised Answer Sets and Optimal Answer Sets, of an updates semantics that provides a solid foundation for the implementation  ...  Accordingly, the two-fold contribution of this work is to show a simpler theoretical framework of preferences characterised in DLV, as well as general foundation to debug both static and dynamic logic  ...  Logic Programming and Answer Sets The following gives the description of ASP, which is identified with other names like Stable Logic Programming or Stable Model Semantics [5] and A-Prolog.  ... 
dblp:conf/lanmr/Guadarrama11 fatcat:4so6q5y76zh5vavpy6ixxtpxwm

User-oriented rule management for event-based applications

Hannes Obweger, Josef Schiefer, Martin Suntinger, Peter Kepplinger, Szabolcs Rozsnyai
2011 Proceedings of the 5th ACM international conference on Distributed event-based system - DEBS '11  
Event-pattern rules are the foundation of Complex Event Processing (CEP) applications.  ...  Business users compose rule logic in a simplified web interface from abstracted, configurable building blocks. Figure 1.  ...  This reflects in rulemanagement systems offering the level of control and expressiveness to cater to the needs of modeling sophisticated processing logic, but neglecting the needs of business users for  ... 
doi:10.1145/2002259.2002266 dblp:conf/debs/ObwegerSSKR11 fatcat:iijbwcgoyjgvzo4jqu4htoayje

Declarative Systems for Large-Scale Machine Learning

Vinayak R. Borkar, Yingyi Bu, Michael J. Carey, Joshua Rosen, Neoklis Polyzotis, Tyson Condie, Markus Weimer, Raghu Ramakrishnan
2012 IEEE Data Engineering Bulletin  
In this article, we make the case for a declarative foundation for data-intensive machine learning systems.  ...  Instead of creating a new system for each specific flavor of machine learning task, or hardcoding new optimizations, we argue for the use of recursive queries to program a variety of machine learning algorithms  ...  of available templates and userdefinable functions) and the underlying logical query, expressed in Datalog.  ... 
dblp:journals/debu/BorkarBCRPCWR12 fatcat:rdg5wqjvbjg6vina3fu7lsjaqa
« Previous Showing results 1 — 15 out of 78,902 results