Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book is about a significant step forward in software development. It brings state-of-the-art ontology reasoning into mainstream software development and its languages. Ontology Driven Software Development is the essential, comprehensive resource on enabling technologies, consistency checking and process guidance for ontology-driven software development (ODSD). It demonstrates how to apply ontology reasoning in the lifecycle of software development, using current and emerging standards and technologies. You will learn new methodologies and infrastructures, additionally illustrated using detailed industrial case studies. The book will help you: Learn how ontology reasoning allows validations of structure models and key tasks in behavior models. Understand how to develop ODSD guidance engines for important software development activities, such as requirement engineering, domain modeling and process refinement. Become familiar with semantic standards, such as the Web Ontology Language (OWL) and the SPARQL query language. Make use of ontology reasoning, querying and justification techniques to integrate software models and to offer guidance and traceability supports. This book is helpful for undergraduate students and professionals who are interested in studying how ontologies and related semantic reasoning can be applied to the software development process. In addition, itwill also be useful for postgraduate students, professionals and researchers who are going to embark on their research in areas related to ontology or software engineering.

Information Technology --- Software Engineering --- Communications software. --- Computer software -- Development. --- Model-driven software architecture. --- Engineering & Applied Sciences --- Computer Science --- Computer software --- Development. --- MDA (Model-driven software architecture) --- Development of computer software --- Software development --- Computer science. --- Software engineering. --- Artificial intelligence. --- Computer Science. --- Software Engineering. --- Artificial Intelligence (incl. Robotics). --- Software architecture --- Development --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer software engineering --- Engineering

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The two volume set LNCS 12506 and 12507 constitutes the proceedings of the 19th International Semantic Web Conference, ISWC 2020, which was planned to take place in Athens, Greece, during November 2-6, 2020. The conference changed to a virtual format due to the COVID-19 pandemic. The papers included in this volume deal with the latest advances in fundamental research, innovative technology, and applications of the Semantic Web, linked data, knowledge graphs, and knowledge processing on the Web. They were carefully reviewed and selected for inclusion in the proceedings as follows: Part I: Features 38 papers from the research track which were accepted from 170 submissions; Part II: Includes 22 papers from the resources track which were accepted from 71 submissions; and 21 papers in the in-use track, which had a total of 46 submissions.

Database management. --- Mathematical logic. --- Natural language processing (Computer science). --- Data structures (Computer science). --- Application software. --- Database Management. --- Mathematical Logic and Formal Languages. --- Natural Language Processing (NLP). --- Data Structures and Information Theory. --- Information Systems Applications (incl. Internet). --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- NLP (Computer science) --- Artificial intelligence --- Human-computer interaction --- Semantic computing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Semantic Web

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed post-proceedings of the Joint International Semantic Technology Conference, JIST 2011, held in Hangzhou, China, in December 2011. This conference is a joint event for regional semantic Web related conferences. JIST 2011 brings together the Asian Semantic Web Conference 2011 and the Chinese Semantic Web Conference 2011. The 21 revised full papers presented together with 12 short papers were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in disciplines related to semantic technology including applications of the semantic Web, management of semantic Web data, ontology and reasoning, social semantic Web, and user interfaces to the semantic Web.

Semantic Web --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Telecommunications --- Computer Science --- Semantic networks (Information theory) --- Semantic net (Information theory) --- Semantic nets (Information theory) --- Computer science. --- Computer communication systems. --- Data structures (Computer science). --- Computers. --- Database management. --- Information storage and retrieval. --- Computer Science. --- Information Systems Applications (incl. Internet). --- Information Storage and Retrieval. --- Computer Communication Networks. --- Models and Principles. --- Data Structures. --- Database Management. --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Informatics --- Science --- Distributed processing --- Artificial intelligence --- Information theory --- Semantic computing --- Information storage and retrieva. --- Data structures (Computer scienc. --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Data structures (Computer science) --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed proceedings of the 5th Joint International Semantic Technology Conference, JIST 2015, held in Yichang, China, in November 2015. The theme of the JIST 2015 conference was "Big Data and Social Media". The JIST 2015 conference consisted of main technical tracks including 2 keynotes, 2 invited talks, a regular technical paper track (full and short papers), an in-use track, a poster and demo session, workshop, and tutorial. The 14 full and 8 short papers in this volume were carefully reviewed and selected from 43 submissions. The paper cover the following topics: ontology and reasoning, linked data, learning and discovery, RDF and query, knowledge graph, knowledge integration, query and recommendation, and applications of semantic technologies.

Computer Science --- Engineering & Applied Sciences --- Computer science. --- Mathematical logic. --- Data mining. --- Information storage and retrieval. --- Artificial intelligence. --- Computational linguistics. --- Computer Science. --- Information Storage and Retrieval. --- Data Mining and Knowledge Discovery. --- Mathematical Logic and Formal Languages. --- Language Translation and Linguistics. --- Artificial Intelligence (incl. Robotics). --- Information Systems Applications (incl. Internet). --- Automatic language processing --- Language and languages --- Language data processing --- Linguistics --- Natural language processing (Linguistics) --- Applied linguistics --- Cross-language information retrieval --- Mathematical linguistics --- Multilingual computing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Data processing --- Information storage and retrieva. --- Natural language processing (Computer science). --- Natural Language Processing (NLP). --- Artificial Intelligence. --- NLP (Computer science) --- Artificial intelligence --- Human-computer interaction --- Semantic computing --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Machine theory. --- Formal Languages and Automata Theory. --- Computer and Information Systems Applications. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Data centers

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 4th Joint International Semantic Technology Conference, JIST 2014, held in Chiang Mai, Thailand, in November 2014. The theme of the JIST 2014 conference was "Open Data and Semantic Technology". JIST 2014 conference consisted of main technical tracks including regular paper track (full and short papers), in-use track and special track, poster and demo session, two workshops and four tutorials. The 32 papers in this volume were carefully reviewed and selected from 71 submissions. The paper topics are divided into eight categories: Ontology and Reasoning (7 papers), Linked Data (7 papers), Learning and Discovery (3 papers), RDF and SPARQL (3 papers), Ontological Engineering (3 papers), Semantic Social Web (3 papers), Search and Querying (3 papers) and Applications of Semantic Technology (3 papers).

Computer Science. --- Information Storage and Retrieval. --- Artificial Intelligence (incl. Robotics). --- Database Management. --- Data Mining and Knowledge Discovery. --- Information Systems Applications (incl. Internet). --- Computer science. --- Database management. --- Data mining. --- Information storage and retrieval systems. --- Artificial intelligence. --- Informatique --- Bases de données --- Exploration de données (Informatique) --- Systèmes d'information --- Intelligence artificielle --- Gestion --- Engineering & Applied Sciences --- Computer Science --- Information storage and retrieval. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Informatics --- Science --- Information storage and retrieva. --- Artificial Intelligence. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Semantic computing --- Semantic Web --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software