David Martin
Santa Clara, California, United States
811 followers
500+ connections
About
I envision, design, and develop AI-based technologies & systems. I've led the…
Experience
Education
Licenses & Certifications
Publications
-
Wikidata on MARS (Preliminary Report)
Proceedings of the 33rd International Workshop on Description Logics
Multi-attributed relational structures (MARSs) have been proposed as a formal data model for generalized property graphs, along with multi-attributed rule-based predicate logic (MARPL) as a useful rule-based logic in which to write inference rules over property graphs. Wikidata can be modelled in an extended MARS that adds the (imprecise) datatypes of Wikidata. The rules of inference for the Wikidata ontology can be modelled as a MARPL ontology, with extensions to handle the Wikidata datatypes…
Multi-attributed relational structures (MARSs) have been proposed as a formal data model for generalized property graphs, along with multi-attributed rule-based predicate logic (MARPL) as a useful rule-based logic in which to write inference rules over property graphs. Wikidata can be modelled in an extended MARS that adds the (imprecise) datatypes of Wikidata. The rules of inference for the Wikidata ontology can be modelled as a MARPL ontology, with extensions to handle the Wikidata datatypes and functions over these datatypes. Because many Wikidata qualifiers should participate in most inference rules in Wikidata a method of implicitly handling qualifier values on a perqualifier basis is needed to make this modelling useful. The meaning of Wikidata is then the extended MARS that is the closure of running these rules on the Wikidata data model. Wikidata constraints can be modelled as multi-attributed predicate logic (MAPL) formulae, again extended with datatypes, that are evaluated over this extended MARS. The result models Wikidata in a way that fixes several of its major problems.
Other authorsSee publication -
Wikidata Constraints on MARS (Extended Technical Report)
arXiv
Wikidata constraints, albeit useful, are represented and processed in an incomplete, ad hoc fashion. Constraint declarations do not fully express their meaning, and thus do not provide a precise, unambiguous basis for constraint specification, or a logical foundation for constraint-checking implementations. In prior work we have proposed a logical framework for Wikidata as a whole, based on multi-attributed relational structures (MARS) and related logical languages. In this paper we explain…
Wikidata constraints, albeit useful, are represented and processed in an incomplete, ad hoc fashion. Constraint declarations do not fully express their meaning, and thus do not provide a precise, unambiguous basis for constraint specification, or a logical foundation for constraint-checking implementations. In prior work we have proposed a logical framework for Wikidata as a whole, based on multi-attributed relational structures (MARS) and related logical languages. In this paper we explain how constraints are handled in the proposed framework, and show that nearly all of Wikidata's existing property constraints can be completely characterized in it, in a natural and economical fashion. We also give characterizations for several proposed property constraints, and show that a variety of non-property constraints can be handled in the same framework.
Other authorsSee publication -
The Open Agent Architecture: A framework for building distributed software systems.
Applied Artificial Intelligence: An International Journal. Volume 13, Number 1-2.
This paper gives a detailed look at the philosophy and services provided by the OAA. Distinguishing characteristics are illustrated using several OAA-based application examples.
Patents
-
METHODS AND SYSTEM FOR ITERATIVELY ALIGNING DATA SOURCES
Issued US 20170103131
According to some aspects, a method for aligning a first data source and a second data source during a plurality of iterations comprising a current iteration and a previous iteration is provided. The method comprises generating at least one property alignment hypothesis between at least one first property of the first data source and at least one second property of the second data source; generating a plurality of instance alignment hypotheses between a respective first plurality of instances…
According to some aspects, a method for aligning a first data source and a second data source during a plurality of iterations comprising a current iteration and a previous iteration is provided. The method comprises generating at least one property alignment hypothesis between at least one first property of the first data source and at least one second property of the second data source; generating a plurality of instance alignment hypotheses between a respective first plurality of instances of the first data source and a respective second plurality of instances of the second data source; and verifying at least one property alignment hypothesis and/or at least one of the plurality of instance alignment hypotheses. Generating the at least one property alignment hypothesis and/or generating the plurality of instance alignment hypotheses is based, at least in part, on at least one property alignment hypothesis and/or at least one instance alignment hypothesis verified during the previous iteration.
Other inventorsSee patent -
System and method for emergency calls initiated by voice command
Issued US US9300784B2
A method of operating a digital assistant to provide emergency call functionality is provided. In some embodiments, the method is performed at a device including one or more processors and memory storing instructions for execution by the one or more processors. The method includes receiving a speech input from a user, determining whether the speech input expresses a user request for making an emergency call, and determining a local emergency dispatcher telephone number based on a geographic…
A method of operating a digital assistant to provide emergency call functionality is provided. In some embodiments, the method is performed at a device including one or more processors and memory storing instructions for execution by the one or more processors. The method includes receiving a speech input from a user, determining whether the speech input expresses a user request for making an emergency call, and determining a local emergency dispatcher telephone number based on a geographic location of the device. The method also includes, in response to determining or obtaining a determination that the speech input expresses a user request for making an emergency call, calling the local emergency dispatcher telephone number using the emergency call functionality.
Other inventorsSee patent -
Highly scalable software-based architecture for communication and cooperation among distributed electronic agents
Issued US US7069560B1
A highly flexible, software-based architecture is disclosed for supporting cooperative task completion by flexible, dynamic configurations of autonomous electronic agents. Communications and cooperation between agents are brokered by one or more facilitators. The facilitators employ strategic reasoning for generating a goal satisfaction plan to fulfill arbitrarily complex goals by users and service requesting agents.
Other inventorsSee patent -
Software-based Architecture For Communication and Cooperation Among Distributed Electronic Agents
Issued US 6,851,115
A highly flexible, software-based architecture is disclosed for constructing distributed systems. The architecture supports cooperative task completion by flexible and autonomous electronic agents. One or more facilitators are used to broker communication and cooperation among the agents. The architecture provides for the construction of arbitrarily complex goals by users and service-requesting agents. Additional features include agent-based provision of multi modal interfaces, including…
A highly flexible, software-based architecture is disclosed for constructing distributed systems. The architecture supports cooperative task completion by flexible and autonomous electronic agents. One or more facilitators are used to broker communication and cooperation among the agents. The architecture provides for the construction of arbitrarily complex goals by users and service-requesting agents. Additional features include agent-based provision of multi modal interfaces, including natural language.
Other inventorsSee patent -
Unified messaging methods and systems for communication and cooperation among distributed agents in a computing environment
Issued US US6691151B1
The present invention provides a Unified Messaging system with an emphasis on ubiquitous access and dynamic presentation of the information and services supported by an agent community. The present invention allows queries across dynamically changing, complex information; shared context and reference resolution among applications; and flexible translation of multimedia data. Utilizing an Open Agent Architecture, the present invention allows a user to receive multiple information types, such as…
The present invention provides a Unified Messaging system with an emphasis on ubiquitous access and dynamic presentation of the information and services supported by an agent community. The present invention allows queries across dynamically changing, complex information; shared context and reference resolution among applications; and flexible translation of multimedia data. Utilizing an Open Agent Architecture, the present invention allows a user to receive multiple information types, such as email, voicemail, and multimedia data, utilizing a single user interface, such as a phone. Communication and cooperation between agents are brokered by one or more facilitators, which are responsible for matching requests, from users and agents, with descriptions of the capabilities of other agents. It is not generally required that a user or agent know the identities, locations, or number of other agents involved in satisfying a request, and relatively minimal effort is involved in incorporating new agents and “wrapping” legacy applications. Extreme flexibility is achieved through an architecture organized around the declaration of capabilities by service-providing agents, the construction of arbitrarily complex goals by users and service-requesting agents, and the role of facilitators in delegating and coordinating the satisfaction of these goals, subject to advice and constraints that may accompany them.
Other inventorsSee patent -
Information retrieval by natural language querying
Issued US US20030078766A1
A natural language information querying system includes an indexing facility configured to automatically generate indices of updated textual sources based on one or more predefined grammars and a database coupled to the indexing facility to store the indices for subsequent searching.
Other inventorsSee patent
Other similar profiles
Explore collaborative articles
We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.
Explore MoreOthers named David Martin in United States
5259 others named David Martin in United States are on LinkedIn
See others named David Martin