المؤلفون: Correa, Camilo, Mazo, Raul, Lopez, Andres, O., Robin, Jacques

المساهمون: Centre de Recherche en Informatique de Paris 1 (CRI), Université Paris 1 Panthéon-Sorbonne (UP1), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Equipe Processes for Safe and Secure Software and Systems (Lab-STICC_P4S), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT), Ecole Supérieure d'Informatique Electronique Automatique Paris (ESIEA), H2020, IARIA: International Academy, Research and Industry Association, European Project: C4IIoT

المصدر: SOFTENG 2023 - The 9th International Conference on Advances and Trends in Software Engineering ; https://hal.science/hal-04077798 ; SOFTENG 2023 - The 9th International Conference on Advances and Trends in Software Engineering, IARIA: International Academy, Research and Industry Association, Apr 2023, Venise, Italy ; https://www.iaria.org/conferences2023/CfPSOFTENG23.html

مصطلحات موضوعية: Software Product Lines, Variability Modeling, Formal Semantics, Common Logic, [INFO]Computer Science [cs]

جغرافية الموضوع: Venise, Italy

Relation: hal-04077798; https://hal.science/hal-04077798; https://hal.science/hal-04077798/document; https://hal.science/hal-04077798/file/SOFTENG_2023_FINAL.pdf

الاتاحة: https://hal.science/hal-04077798
https://hal.science/hal-04077798/document
https://hal.science/hal-04077798/file/SOFTENG_2023_FINAL.pdf

المؤلفون: Danash, Fatima, Ziébelin, Danielle

المساهمون: Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), Spatio-temporal information systems (STEAMER), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)

المصدر: Proceedings of the Joint Ontology Workshops 2022 ; The 6th Workshop on Foundational Ontology (FOUST), @The Joint Ontology Workshops (JOWO'2022) ; https://hal.science/hal-03830683 ; The 6th Workshop on Foundational Ontology (FOUST), @The Joint Ontology Workshops (JOWO'2022), Aug 2022, Jönköping, Sweden ; http://ceur-ws.org/Vol-3249/paper6-FOUST.pdf

مصطلحات موضوعية: Foundational Relations, FORT, Foundational Ontologies, Common Logic, CLIF, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

جغرافية الموضوع: Jönköping, Sweden

الاتاحة: https://hal.science/hal-03830683
https://hal.science/hal-03830683v1/document
https://hal.science/hal-03830683v1/file/DANASHFatima-25-FOUST_finale_camera_ready_version.pdf

المؤلفون: Anjum, Najam A.

مصطلحات موضوعية: 658.4038, Foundation ontologies, Domain ontologies, Knowledge verification, Ontology mediation, Common logic, Manufacturability analysis

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.554116

المؤلفون: Chungoora, Nitishal

مصطلحات موضوعية: 620, Ontology, Semantics, Interoperability, Common logic, Knowledge representation, Knowledge sharing, Design and manufacture

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.512114

المؤلفون: Avital Lahav

المصدر: The Historical Journal. 63:1107-1131

مصطلحات موضوعية: Value (ethics), History, 060106 history of social sciences, Environmental ethics, Context (language use), 06 humanities and the arts, Plan (drawing), 060104 history, Qualitative reasoning, Urban planning, 0601 history and archaeology, Common logic, Economic function, Cityscape

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3f4c6295723baefbd89977902fa57b7f
https://doi.org/10.1017/s0018246x20000059

المؤلفون: Justin Grimmer, Andrew C. Eggers, Haritz Garro

المصدر: Proceedings of the National Academy of Sciences of the United States of America

مصطلحات موضوعية: fraud detection, Multidisciplinary, Presidential election, Feature (computer vision), Political science, Political Sciences, Social Sciences, Science communication, election security, Common logic, science communication, Law and economics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6e19b2240a7d76353b76cc45cbab6119
https://doi.org/10.1073/pnas.2103619118

المؤلفون: Liming Fan, Wenqian Li, Xiaoxian Zhang, Dongsheng Zhao, Bei Li, Feng Wang

المصدر: Dalton transactions (Cambridge, England : 2003). 50(42)

مصطلحات موضوعية: chemistry.chemical_classification, Materials science, Molecular logic gate, Biomolecule, Control switch, Nanotechnology, Inorganic Chemistry, chemistry, Quantum dot, Logic gate, Metal-organic framework, Common logic, Luminescence, Metal-Organic Frameworks

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6a3e50456017156bc4a67996c7b07f0b
https://pubmed.ncbi.nlm.nih.gov/34622897

المؤلفون: Hubert Henry Ward

المصدر: Programming Arduino Projects with the PIC Microcontroller ISBN: 9781484272329

مصطلحات موضوعية: Series (mathematics), Work (electrical), Computer science, Programming language, Debug menu, Common logic, computer.software_genre, computer, GeneralLiterature_MISCELLANEOUS, AND gate

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::28c0436640efcf0f0a611b24fdaeb46d
https://doi.org/10.1007/978-1-4842-7230-5_14

المؤلفون: Najam A. Anjum, Jennifer Harding, Robert I.M. Young, Keith Case

مصطلحات موضوعية: Mechanical Engineering not elsewhere classified, Ontological product models, Manufacturability verification, Common Logic

Relation: 2134/32056; https://figshare.com/articles/conference_contribution/Shape_feature_based_ontological_engineering_product_models/9546296

الاتاحة: https://figshare.com/articles/conference_contribution/Shape_feature_based_ontological_engineering_product_models/9546296

المؤلفون: John F. Sowa

المصدر: Procedia Computer Science. 169:31-45

مصطلحات موضوعية: Diagrammatic reasoning, Formalism (philosophy), Computer science, Calculus, General Earth and Planetary Sciences, Analogy, Common logic, Ordinary language philosophy, Heuristics, Notation, Abstract algebra, Formal proof, General Environmental Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8f1895145334c4467a00f42944198b44
https://doi.org/10.1016/j.procs.2020.02.217

المؤلفون: Greyson Young

المصدر: SSRN Electronic Journal.

مصطلحات موضوعية: education.field_of_study, media_common.quotation_subject, Population, Appeal, Stigma (botany), Crash, medicine.disease, Epilepsy, State (polity), Development economics, medicine, Consciousness, Common logic, education, Psychology, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e2f9714aa1910d2491d789bacbd93ba4
https://doi.org/10.2139/ssrn.3772655

المؤلفون: Robert W. Powell, Torsten Hahmann

المصدر: The Semantic Web – ISWC 2021 ISBN: 9783030883607
ISWC

مصطلحات موضوعية: Computer science, Programming language, Iso standards, computer.file_format, Common logic, Reuse, Ontology (information science), RDF, computer.software_genre, computer, Semantic Web, First-order logic, Undecidable problem

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3ee60c83982c5cf2e922a40bccdaf0eb
https://doi.org/10.1007/978-3-030-88361-4_15

المؤلفون: Nitishal Chungoora, Anne-Francoise Cutting-Decelle, Robert I.M. Young, A. George Gunendran, Zahid Usman, Jennifer Harding, Keith Case

مصطلحات موضوعية: Mechanical Engineering not elsewhere classified, Ontologies, Manufacturing information systems, Knowledge engineering, ISO standards, Common logic (CL), Web ontology language (OWL)

Relation: 2134/11476; https://figshare.com/articles/journal_contribution/Towards_the_ontology-based_consolidation_of_production-centric_standards/9573980

الاتاحة: https://figshare.com/articles/journal_contribution/Towards_the_ontology-based_consolidation_of_production-centric_standards/9573980

المؤلفون: Najam A. Anjum, Jennifer Harding, Robert I.M. Young, Keith Case, Zahid Usman, Nitishal Chungoora

مصطلحات موضوعية: Mechanical Engineering not elsewhere classified, Foundation ontologies, Domain ontologies, Knowledge verification, Ontology mediation, Common Logic, Manufacturability analysis

Relation: 2134/20535; https://figshare.com/articles/journal_contribution/Verification_of_knowledge_shared_across_design_and_manufacture_using_a_foundation_ontology/9567158

الاتاحة: https://figshare.com/articles/journal_contribution/Verification_of_knowledge_shared_across_design_and_manufacture_using_a_foundation_ontology/9567158

المؤلفون: Claire Palmer, Nitishal Chungoora, Robert I.M. Young, A. George Gunendran, Zahid Usman, Keith Case, Jennifer Harding

مصطلحات موضوعية: Mechanical Engineering not elsewhere classified, Ontology design tools, Ontology visualisation methods, UML, Common Logic

Relation: 2134/21031; https://figshare.com/articles/journal_contribution/Exploiting_unified_modelling_language_UML_as_a_preliminary_design_tool_for_Common_Logic-based_ontologies_in_manufacturing/9560366

الاتاحة: https://figshare.com/articles/journal_contribution/Exploiting_unified_modelling_language_UML_as_a_preliminary_design_tool_for_Common_Logic-based_ontologies_in_manufacturing/9560366

المؤلفون: Najam A. Anjum, Jennifer Harding, Robert I.M. Young, Keith Case

مصطلحات موضوعية: Computer Software, Distributed Computing, Mechanical Engineering not elsewhere classified, Interoperability, Knowledge verification, Ontology mediation, Foundation ontologies, Domain ontologies, Common Logic

Relation: 2134/9784; https://figshare.com/articles/journal_contribution/Mediation_of_foundation_ontology_based_knowledge_sources/9560873

الاتاحة: https://figshare.com/articles/journal_contribution/Mediation_of_foundation_ontology_based_knowledge_sources/9560873

المؤلفون: Najam A. Anjum, Jennifer Harding, Robert I.M. Young, Keith Case

مصطلحات موضوعية: Mechanical Engineering, Mechanical Engineering not elsewhere classified, Ontological product models, Concurrent engineering, Manufacturability verification, Common logic

Relation: 2134/13133; https://figshare.com/articles/journal_contribution/Manufacturability_verification_through_feature-based_ontological_product_models/9569678

الاتاحة: https://figshare.com/articles/journal_contribution/Manufacturability_verification_through_feature-based_ontological_product_models/9569678

المؤلفون: Syed Imtiaz, Chuanqi Guo, Faisal Khan

المصدر: Journal of Loss Prevention in the Process Industries. 55:204-212

مصطلحات موضوعية: 021110 strategic, defence & security studies, Computer science, General Chemical Engineering, 0211 other engineering and technologies, Energy Engineering and Power Technology, 02 engineering and technology, Management Science and Operations Research, Work in process, Industrial and Manufacturing Engineering, Copula (probability theory), 020401 chemical engineering, Risk analysis (engineering), 13. Climate action, Control and Systems Engineering, Joint probability distribution, Potential accident, 0204 chemical engineering, Common logic, Causation, Safety, Risk, Reliability and Quality, Risk assessment, Food Science

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::21f3f90c02f1c534128914bd8275483e
https://doi.org/10.1016/j.jlp.2018.06.014

المؤلفون: Nitishal Chungoora, Robert I.M. Young

مصطلحات موضوعية: Mechanical Engineering not elsewhere classified, Design and manufacture, Heavyweight ontologies, Common logic, semantics, Process specification Language, Entity information

Relation: 2134/11299; https://figshare.com/articles/journal_contribution/The_configuration_of_design_and_manufacture_knowledge_models_from_a_heavyweight_ontological_foundation/9569810

الاتاحة: https://figshare.com/articles/journal_contribution/The_configuration_of_design_and_manufacture_knowledge_models_from_a_heavyweight_ontological_foundation/9569810

المؤلفون: Nitishal Chungoora, Robert I.M. Young

مصطلحات موضوعية: Mechanical Engineering not elsewhere classified, Common Logic, Design and manufacture, Heavyweight ontology, Interoperability, Ontology alignment, Ontology mapping

Relation: 2134/17392; https://figshare.com/articles/journal_contribution/Semantic_reconciliation_across_design_and_manufacturing_knowledge_models_a_logic-based_approach/9568304

الاتاحة: https://figshare.com/articles/journal_contribution/Semantic_reconciliation_across_design_and_manufacturing_knowledge_models_a_logic-based_approach/9568304