IEEE Organizations related to Description Logic

Back to Top

No organizations are currently tagged "Description Logic"



Conferences related to Description Logic

Back to Top

2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)

FUZZ-IEEE 2021 will represent a unique meeting point for scientists and engineers, both from academia and industry, to interact and discuss the latest enhancements and innovations in the field. The topics of the conference will cover all the aspects of theory and applications of fuzzy sets, fuzzy logic and associated approaches (e.g. aggregation operators such as the Fuzzy Integral), as well as their hybridizations with other artificial and computational intelligence techniques.


2020 IEEE 18th International Conference on Industrial Informatics (INDIN)

INDIN focuses on recent developments, deployments, technology trends, and research results in Industrial Informatics-related fields from both industry and academia


2020 IEEE 29th International Symposium on Industrial Electronics (ISIE)

ISIE focuses on advancements in knowledge, new methods, and technologies relevant to industrial electronics, along with their applications and future developments.


2020 IEEE Frontiers in Education Conference (FIE)

The Frontiers in Education (FIE) Conference is a major international conference focusing on educational innovations and research in engineering and computing education. FIE 2019 continues a long tradition of disseminating results in engineering and computing education. It is an ideal forum for sharing ideas, learning about developments and interacting with colleagues inthese fields.


2020 IEEE International Conference on Multimedia and Expo (ICME)

Multimedia technologies, systems and applications for both research and development of communications, circuits and systems, computer, and signal processing communities.

  • 2019 IEEE International Conference on Multimedia and Expo (ICME)

    speech, audio, image, video, text and new sensor signal processingsignal processing for media integration3D imaging, visualization and animationvirtual reality and augmented realitymulti-modal multimedia computing systems and human-machine interactionmultimedia communications and networkingmedia content analysis and searchmultimedia quality assessmentmultimedia security and content protectionmultimedia applications and servicesmultimedia standards and related issues

  • 2018 IEEE International Conference on Multimedia and Expo (ICME)

    The IEEE International Conference on Multimedia & Expo (ICME) has been the flagship multimedia conference sponsored by four IEEE societies since 2000. It serves as a forum to promote the exchange of the latest advances in multimedia technologies, systems, and applications from both the research and development perspectives of the circuits and systems, communications, computer, and signal processing communities. ICME also features an Exposition of multimedia products and prototypes.

  • 2017 IEEE International Conference on Multimedia and Expo (ICME)

    Topics of interest include, but are not limited to: – Speech, audio, image, video, text and new sensor signal processing – Signal processing for media integration – 3D visualization and animation – 3D imaging and 3DTV – Virtual reality and augmented reality – Multi-modal multimedia computing systems and human-machine interaction – Multimedia communications and networking – Media content analysis – Multimedia quality assessment – Multimedia security and content protection – Multimedia databases and digital libraries – Multimedia applications and services – Multimedia standards and related issues

  • 2016 IEEE International Conference on Multimedia and Expo (ICME)

    Topics of interest include, but are not limited to:- Speech, audio, image, video, text and new sensor signal processing- Signal processing for media integration- 3D visualization and animation- 3D imaging and 3DTV- Virtual reality and augmented reality- Multi-modal multimedia computing systems and human-machine interaction- Multimedia communications and networking- Media content analysis- Multimedia quality assessment- Multimedia security and content protection- Multimedia databases and digital libraries- Multimedia applications and services- Multimedia standards and related issues

  • 2015 IEEE International Conference on Multimedia and Expo (ICME)

    With around 1000 submissions and 500 participants each year, the IEEE International Conference on Multimedia & Expo (ICME) has been the flagship multimedia conference sponsored by four IEEE societies since 2000. It serves as a forum to promote the exchange of the latest advances in multimedia technologies, systems, and applications from both the research and development perspectives of the circuits and systems, communications, computer, and signal processing communities.

  • 2014 IEEE International Conference on Multimedia and Expo (ICME)

    The IEEE International Conference on Multimedia & Expo (ICME) has been the flagship multimedia conference sponsored by four IEEE societies since 2000. It serves as a forum to promote the exchange of the latest advances in multimedia technologies, systems, and applications. In 2014, an Exposition of multimedia products, prototypes and animations will be held in conjunction with the conference.Topics of interest include, but are not limited to:

  • 2013 IEEE International Conference on Multimedia and Expo (ICME)

    To promote the exchange of the latest advances in multimedia technologies, systems, and applications from both the research and development perspectives of the circuits and systems, communications, computer, and signal processing communities.

  • 2012 IEEE International Conference on Multimedia and Expo (ICME)

    IEEE International Conference on Multimedia & Expo (ICME) has been the flagship multimedia conference sponsored by four IEEE Societies. It exchanges the latest advances in multimedia technologies, systems, and applications from both the research and development perspectives of the circuits and systems, communications, computer, and signal processing communities.

  • 2011 IEEE International Conference on Multimedia and Expo (ICME)

    Speech, audio, image, video, text processing Signal processing for media integration 3D visualization, animation and virtual reality Multi-modal multimedia computing systems and human-machine interaction Multimedia communications and networking Multimedia security and privacy Multimedia databases and digital libraries Multimedia applications and services Media content analysis and search Hardware and software for multimedia systems Multimedia standards and related issues Multimedia qu

  • 2010 IEEE International Conference on Multimedia and Expo (ICME)

    A flagship multimedia conference sponsored by four IEEE societies, ICME serves as a forum to promote the exchange of the latest advances in multimedia technologies, systems, and applications from both the research and development perspectives of the circuits and systems, communications, computer, and signal processing communities.

  • 2009 IEEE International Conference on Multimedia and Expo (ICME)

    IEEE International Conference on Multimedia & Expo is a major annual international conference with the objective of bringing together researchers, developers, and practitioners from academia and industry working in all areas of multimedia. ICME serves as a forum for the dissemination of state-of-the-art research, development, and implementations of multimedia systems, technologies and applications.

  • 2008 IEEE International Conference on Multimedia and Expo (ICME)

    IEEE International Conference on Multimedia & Expo is a major annual international conference with the objective of bringing together researchers, developers, and practitioners from academia and industry working in all areas of multimedia. ICME serves as a forum for the dissemination of state-of-the-art research, development, and implementations of multimedia systems, technologies and applications.

  • 2007 IEEE International Conference on Multimedia and Expo (ICME)

  • 2006 IEEE International Conference on Multimedia and Expo (ICME)

  • 2005 IEEE International Conference on Multimedia and Expo (ICME)

  • 2004 IEEE International Conference on Multimedia and Expo (ICME)

  • 2003 IEEE International Conference on Multimedia and Expo (ICME)

  • 2002 IEEE International Conference on Multimedia and Expo (ICME)

  • 2001 IEEE International Conference on Multimedia and Expo (ICME)

  • 2000 IEEE International Conference on Multimedia and Expo (ICME)


More Conferences

Periodicals related to Description Logic

Back to Top

No periodicals are currently tagged "Description Logic"


Most published Xplore authors for Description Logic

Back to Top

Xplore Articles related to Description Logic

Back to Top

Generic Rules for the Discovery of Subsumption Relationships Based on Ontological Contexts

2015 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT), 2015

Structured data extracted from the Web is highly heterogeneous due to its disparate origins and nature. There exist some techniques to integrate this information based on the extraction of synonymy relationships among the different entities involved. However, synonymy is a very strict and therefore uncommon relationship. We present a novel approach for the discovery of subsumption relationships among concepts from ...


An ontology for Juz' Amma based on expert knowledge

2016 7th International Conference on Computer Science and Information Technology (CSIT), 2016

This paper reports the development of an ontology for Juz' Amma in the Quran manuscript that is designed based on the contextual information support sourced from expert knowledge. The ontology development adopts an existing methology called the Methontology that covers steps from identifying motivation scenarios, formulating the competency questions, development, and evaluation. The ontology was evaluated based on the competency ...


Study of Semantic reasoning based on ontology description logic

2016 IEEE Advanced Information Management, Communicates, Electronic and Automation Control Conference (IMCEC), 2016

With the rapid development of Internet, the semantic Web is being doubly paid close attention as new generation Web, because Semantic interpretation and reasoning are the keys to be solved in the Semantic Web. In order to solve this problem, based on the concept and the principle of ontology language and description logic foundation, have brought forward one kind of ...


Toward a Linked-Open-Data-Based Architecture for an Open Consensus Building Support

2016 IEEE International Conference on Agents (ICA), 2016

In this paper, initial ideas and possible abstract conceptual designs to utilizing Linked Open Data(LOD) and ontology-based technologies on scalable consensus support systems are presented. Until now, various efforts have been done on building and designing the future of our societies by utilizing some emerging technologies on making collaboration on the Internet-based services. While some successful reports on designing and ...


Ontology of Card Sleights

2019 IEEE 13th International Conference on Semantic Computing (ICSC), 2019

We present a machine-readable movement writing for sleight-of-hand moves with cards-a “Labanotation of card magic.” This scheme of movement writing contains 440 categories of motion, and appears to taxonomize all card sleights that have appeared in over 1500 publications. The movement writing is axiomatized in SROIQ(D) Description Logic, and collected formally as an Ontology of Card Sleights, a computational ontology ...


More Xplore Articles

Educational Resources on Description Logic

Back to Top

IEEE.tv Videos

A perspective shift from Fuzzy logic to Neutrosophic Logic - Swati Aggarwal
Dynamic Logic Example
Similarity and Fuzzy Logic in Cluster Analysis
Navigation and Control of Unmanned Vehicles: A Fuzzy Logic Perspective
The Hertzsprung-Russell Diagram: Introduction to Fuzzy Logic
My Computer Speaks Colors! Fuzzy Color Spaces for Image Understanding, Description and Retrieval
Towards Logic-in-Memory circuits using 3D-integrated Nanomagnetic Logic - Fabrizio Riente: 2016 International Conference on Rebooting Computing
IEEE Future Networks Initiative Overview (late 2019)
Synchronised 4-Phase Resonant Power Clock Supply for Energy Efficient Adiabatic Logic: IEEE Rebooting Computing 2017
Multi-Level Optimization for Large Fan-In Optical Logic Circuits - Takumi Egawa - ICRC 2018
The Sorites Paradox: Introduction to Fuzzy Logic
IEEE Authoring Part 7: Open Access
Energy Efficiency of MRR-based BDD Circuits - Ozan Yakar - ICRC San Mateo, 2019
FinSAL: A Novel FinFET Based Secure Adiabatic Logic for Energy-Efficient and DPA Resistant IoT Devices - Himanshu Thapliyal: 2016 International Conference on Rebooting Computing
2013 IEEE Robert N. Noyce Medal
Hamid R Tizhoosh - Fuzzy Image Processing
Pt. 2: More Moore: Scaling of CMOS - An Chen - Industry Panel 2, IEEE Globecom, 2019
Erasing Logic-Memory Boundaries in Superconductor Electronics - Vasili Semenov: 2016 International Conference on Rebooting Computing
Provably-Correct Robot Control with LTLMoP, OMPL and ROS
IEEE Trail Blazers: Honors Ceremony Preview

IEEE-USA E-Books

  • Generic Rules for the Discovery of Subsumption Relationships Based on Ontological Contexts

    Structured data extracted from the Web is highly heterogeneous due to its disparate origins and nature. There exist some techniques to integrate this information based on the extraction of synonymy relationships among the different entities involved. However, synonymy is a very strict and therefore uncommon relationship. We present a novel approach for the discovery of subsumption relationships among concepts from different ontologies. Our approach is based on the use of generic rules, designed to capture the existence of a subsumption relationship, considering features of the ontological context of concepts (i.e., labels, roles, and hierarchical relationships).

  • An ontology for Juz' Amma based on expert knowledge

    This paper reports the development of an ontology for Juz' Amma in the Quran manuscript that is designed based on the contextual information support sourced from expert knowledge. The ontology development adopts an existing methology called the Methontology that covers steps from identifying motivation scenarios, formulating the competency questions, development, and evaluation. The ontology was evaluated based on the competency questions determined at the beginning of the development life cycle and the results were promising. The developed ontology is hoped to serve as the domain knowledge for other applications such as the question-answering, dialogue or expert systems.

  • Study of Semantic reasoning based on ontology description logic

    With the rapid development of Internet, the semantic Web is being doubly paid close attention as new generation Web, because Semantic interpretation and reasoning are the keys to be solved in the Semantic Web. In order to solve this problem, based on the concept and the principle of ontology language and description logic foundation, have brought forward one kind of new method: let the body express language and describe that the logic combines each other, be that semantic speculate rationality and validity have provided guarantee thereby. The principle of Semantic reasoning about DL is analyzed, and the issues are discussed such as the importance and implemental technologies of consistent test and subsuming test based on DL reasoning in the process of ontology construction. Finally, the fruits domains main body being taken as the example of ontology construction, the practical reasoning tasks about a constructs are performed and testified.

  • Toward a Linked-Open-Data-Based Architecture for an Open Consensus Building Support

    In this paper, initial ideas and possible abstract conceptual designs to utilizing Linked Open Data(LOD) and ontology-based technologies on scalable consensus support systems are presented. Until now, various efforts have been done on building and designing the future of our societies by utilizing some emerging technologies on making collaboration on the Internet-based services. While some successful reports on designing and deploying Web-based systems that support collaborating people to create better ideas and reaching a consensus, to scale up the deliberation on the system is one of important issues and automation of facilitating ongoing deliberations have been discussed. The proposed conceptual designs tend to utilize LODs as a base of deliberation, as well as accumulating the past process of deliberations as an important asset to make better deliberations.

  • Ontology of Card Sleights

    We present a machine-readable movement writing for sleight-of-hand moves with cards-a “Labanotation of card magic.” This scheme of movement writing contains 440 categories of motion, and appears to taxonomize all card sleights that have appeared in over 1500 publications. The movement writing is axiomatized in SROIQ(D) Description Logic, and collected formally as an Ontology of Card Sleights, a computational ontology that extends the Basic Formal Ontology and the Information Artifact Ontology. The Ontology of Card Sleights is implemented in OWL DL, a Description Logic fragment of the Web Ontology Language. While ontologies have historically been used to classify at a less granular level, the algorithmic nature of card tricks allows us to transcribe a performer's actions step by step. We conclude by discussing design criteria we have used to ensure the ontology can be accessed and modified with a simple click-and-drag interface. This may allow database searches and performance transcriptions by users with card magic knowledge, but no ontology background.

  • How to enrich description logics with fuzziness

    The paper describes the relation between fuzzy and non-fuzzy description logics. It gives an overview about current research in these areas and describes the difference between tasks for description logics and fuzzy logics. The paper also deals with the transformation properties of description logics to fuzzy logics and backwards. While the process of transformation from a description logic to a fuzzy logic is a trivial inclusion, the other way of reducing information from fuzzy logic to description logic is a difficult task, that will be topic of future work.

  • Rough set-based concept mining from social networks

    Motivated by successful applications of rough set theory to symbolic knowledge discovery from data tables, we would like to extend the approach to description logic (DL)-based mining of social networks. Unlike classical rough set theory, in which the attribute values of objects fully determine the indiscernibility relation, the rough set analysis of social networks must account for the social relationships between objects as well as their attributes. In this paper, the indiscernibility relation is defined by using the notions of positional equivalences in social network analysis. The indiscernibility relation can partition the universe of a social network into elementary sets which are used to define the lower and upper approximations of an arbitrary concept as in classical rough set theory. To induce concept definitions from such approximations, we use DL to represent knowledge discovered from social networks and present a constructive procedure to find a characterizing DL concept terms for each elementary set. Because the lower and upper approximations of a target concept are unions of elementary sets, we can use the disjunction of such characterizing concept terms to describe the definition of the target concept. This leads to a complete process of DL-based concept mining from social networks.

  • Communication for Agents with Ontological Reasoning

    Communication in heterogeneous Multi-Agent Systems is an active area of study in Computer Science. As far as it has been achieved in the last few years, however, to our knowledge there is still little work on integrating ontology- based communication in the semantics of agent programming languages. In this work, we study communication between agents with underlying ontological reasoning. The resulting communication mechanism allows agents to exchange not only factual but also terminological knowledge about an individual domain.

  • A Formal Framework for Coupling Document Spanners with Ontologies

    A significant portion of information that is nowa-days collected in enterprises and organizations resides in text documents, and thus is inherently unstructured. Turning it into a structured form is the aim of information extraction (IE). Depending on the approach followed, the output of an IE process can fill forms or populate relational tables, or can be presented through an ontology. This last approach is particularly interesting, since ontologies may facilitate the integration with other corporate and external data, and enable data management and governance at an abstract, conceptual level, as in Ontology-based Data Access (OBDA). To this aim, OBDA uses declarative mappings that specify the relation between the ontology and the database to be accessed. In OBDA, however, only mappings towards relational databases have been so far considered, and how to declaratively relate the ontology to unstructured sources is still unexplored. By leveraging the study on document spanners for IE, in this paper we propose a new framework that allows to map text documents to ontologies, in the spirit of the OBDA approach. We then investigate the problem of answering conjunctive queries (CQs) in our framework, and show that, if the ontology is specified in the lightweight Description Logic DL-LiteR, the problem can be solved by reformulating the user query into a new spanner. Interestingly, both the spanners used in the mapping and the one computed by the rewriting algorithm have the same expressiveness, and CQ answering in this case is polynomial in data complexity.

  • On partitioning-based optimisations in expressive fuzzy Description Logics

    Fuzzy Description Logics (DLs) are a formalism for the representation of structured knowledge affected by imprecision or vagueness. A key factor in the practical success of fuzzy DLs is the availability of highly implemented reasoners. This paper studies two optimisation techniques (ABox partitioning based on individual groups and optimisation problem partitioning) in the setting of the fuzzy ontology reasoner fuzzy DL. We study the applicability of these techniques in expressive fuzzy DL languages, proposing a new strategy, and perform an empirical evaluation proving that they are not helpful in practice so far.



Standards related to Description Logic

Back to Top

No standards are currently tagged "Description Logic"